B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that utilises a parser and listener generated via an ANTLR4 grammar.
interpreter parsing model grammar uml verification antlr4 business-rules ocl business-rules-engine evaluating besser
-
Updated
Sep 4, 2025 - Python