Represents a semantic relationship among model elements that specifies conditions and propositions that must be maintained ...