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

Note

The classes highlighted in green originate from the structural metamodel.

We are able to parse all the queries from the metamodel. The work on OCL interpreter is ongoing however we are able to interpret basic OCL queries for example:

context library inv inv1: self.books>0

Supported notations

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

• Coding in Python Using the B-UML python library

• Using the grammar to create the OCL specification