Chapter 8. Constraints

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.