Examples

See the following examples where we define OCL constraints in B-UML models (Domain models and Object models) and interpret them.

• How to define and evaluate constraints
  • First Step: Defining a domain Model
  • Second Step: Defining a object Model
  • Third Step: Evaluating the constraint
• Library Model (Structural and Object) example
• Researcher-Paper Model (Structural and Object)