OCL specification#

We have added support for defining OCL constraints (e.g. to specify invariants or business rules) on the B-UML models. OCL expressions can be written in plain text and then automatically parsed to create the abstract syntax tree (AST) for expression according to the OCL metamodel shown below

OCL metamodel

Note

The classes highlighted in green originate from the structural metamodel.

The BOCL supports invariants, initialisation constraints, preconditions and postconditions. You can define OCL constraints for structural models using the web modeling editor such as:

1context library inv inv1: self.books>0

Note

B-OCL Interpreter is available at https://github.com/BESSER-PEARL/B-OCL-Interpreter. With this interpreter you can validate your OCL constraints defined on B-UML models.

Supported notations#

To create an object model, you can use any of these notations: