ABSTRACT
Logical constraints are used within UML-RSDS to provide more detailed semantics for a class diagram, and to precisely define the functionality of operations and of use cases. Constraints can be translated into formal languages (such as B AMN) to support verification. A subset of the UML Object Constraint Language (OCL) is used as the UML-RSDS constraint language.
