May 2002
Intermediate to advanced
416 pages
8h 37m
English
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.
Read now
Unlock full access