UML / OCL SUPPORTED SYNTAXES
UML/OCL SYNTAXES
The UML/OCL syntax follows the official UML and OCL standards (of the OMG). However,
we present the syntax of the UML/OCL subsets in EBNF notation, in order to
increase the readability of our transformation rules.
The main UML class diagram and OCL constraints features ensured by our UML/OCL subsets are:
- UML classes with attributes and operations.
- inheritance and multiple inheritance with method redefinition and late binding.
- multiple dependency relationships.
- UML templates and template bindings.
- binary associations.
- OCL invarants, pre-conditions and post-conditions.
- The inheritance and the propagation of OCL constraints (invariant, pre and post-conditions) over
dependency and template binding features.
UML SUBSET
OCL SUBSET
