OCL is a descendant of Syntropy, a second-generation object-oriented analysis and design method.The OCL 1.4 definition specified a constraint language.
In the current paper, we present an overview of (i) the major design goals and decisions, (ii) the underlying formal methodology based on metamodeling and graph transformation (iii) the software architecture based upon the XMI standard, (iv) and several benchmark applications of the VIATRA framework.
András Pataricza, Gábor Huszerl, István Majzik, György Csertán, Dániel Varró, Zsigmond Pap, "VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models", 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), vol.
Within the Model-Driven Engineering paradigm, software development is based on the definition of models providing different views of the system to be constructed and model transformations supporting a (semi)automatic development process.
This paper proposes a way of mapping between the two models to solve the structural discrepancy.
A system model with UML is mapped to the three-layered Design/CPN model that is made of the use case layer, the object layer and the operation layer.