We present the first tool that offers dynamic verification of extended OCL constraints on UML models. It translates a UML model into an Abstract State Machine (ASM) which is transformed by an ASM simulator into an abstract structure called UML-valued OO TransitionSystem (OOTSUML)- The Extended Object Constraints Language (EOCL) is interpreted on computation trees of this OOTSUML allowing for the statement of both OCL expressions modelling the system and OO primitives binding it to UML on the one hand, and safety or liveness constraints on the computation trees of the UML/OCL model on the other hand. An on-the-fly model checking algorithm, which provides the capability to work, at any time, on as small a possible subset of states as necessary, has been integrated into the tool. © IFIP International Federation for Information Processing 2007.
CITATION STYLE
Mullins, J., & Oarga, R. (2007). Model checking of extended OCL constraints on UML models in SOCLe. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4468 LNCS, pp. 59–75). Springer Verlag. https://doi.org/10.1007/978-3-540-72952-5_4
Mendeley helps you to discover research relevant for your work.