Dynamic Validation of OCL Constraints with mOdCL

Abstract

This paper presents mOdCL, a Maude based evaluator of OCL
expressions and validator of OCL constraints. Given its OCL
expression evaluator, the use of execution strategies allows mOdCL, not only validating invariant constraints on concrete system states, but also dynamically validating invariants and pre- and post-conditions on the successive states obtained during system
execution.