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.
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.
Full Text:
PDFDOI: 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.