Dynamic Validation of OCL Constraints with mOdCL
Manuel Roldán, Francisco Durán
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.
Topics & Concepts
ValidatorComputer scienceProgramming languageInvariant (physics)Expression (computer science)Object Constraint LanguageUnified Modeling LanguageTheoretical computer scienceSoftwareMathematicsMathematical physicsApplications of UMLWorld Wide WebModel-Driven Software Engineering TechniquesSoftware Engineering ResearchSoftware Testing and Debugging Techniques