This chapter shows how to describe formally several commonly occurring constraints. The constraints are a fundamental part of the semantics of the domain and they may be used to direct and optimize the structure of the implementation. Definition: A constraint is a rule, expressed as a calculation in terms of other classes, attributes, and associations, that restricts the values of attributes and/or associations in a model. A constraint is executable, defining computed values and providing run-time checks. |