Dynamic Validation of OCL Constraints with mOdCL

Manuel Roldan, Francisco Durán


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

Full Text:


DOI: http://dx.doi.org/10.14279/tuj.eceasst.44.625

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.44.625.652

Hosted By Universitätsbibliothek TU Berlin.