In this paper we propose an equational specification of UML+OCL static class diagrams that provides a formal foundation for automatically validating UML object diagrams with respect to OCL constraints. Basically, class and object UML diagrams are specified as membership equational theories, and OCL expressions are represented as terms over extensions of those theories. Then, validating object d...

MOF QVT introduces ImperativeOCL as an imperative language for operational descriptions of model transformations (QVT operational mappings). ImperativeOCL extends conventional OCL by expressions with side-effects. A couple of semantical problems arise from the way OCL is embedded into ImperativeOCL – imperative expressions are modelled as a subtype of OCL expressions. This paper points out thes...

In parallel to the release of UML 2.0, also a new version of the Object Constraint Language (OCL) has been published. OCL is a language for precise textual description of constraints which apply to the graphical UML models. The new OCL 2.0 standard goes far beyond the previous language, not so much in features but mainly in the approach chosen for laying much more precise and formal foundations...

This paper reports on the panel session of the 17th Workshop in OCL and Textual Modelling, As in previous years, the panel session featured several lightning talks for presenting recent developments and open questions in the area of OCL and textual modelling. During this session, the OCL community discussed, stimulated through short presentations by OCL experts, proposals for improving OCL to i...

The panel session of the 16th OCL workshop featured a lightning talk session for discussing recent developments and open questions in the area of OCL and textual modelling. During this session, the OCL community discussed, stimulated through short presentations by OCL experts, tool support, potential future extensions, and suggested initiatives to make the textual modelling community even more ...

In this paper we present an approach to the analysis of graph transformation rules based on an intermediate OCL representation. We translate different semantics of rules into OCL, together with the properties of interest (like rule applicability, conflict or independence). The intermediate representation serves three purposes: (i) allows the seamless integration of graph transformation rules wi...

The Unified Modeling Language (UML) is one of the few modeling languages that is widely used in industry. While UML is mostly known as diagrammatic modeling language (e. g., visualizing class models), it is complemented by a textual language, called Object Constraint Language (OCL). OCL is a textual annotation language, based on a three-valued logic, that turns UML into a formal language. Unfor...

Paget’s disease of the bone (PDB) is an autosomal dominant trait with genetic heterogeneity, characterized by abnormal osteoclastogenesis. Sequestosome 1 (p62) is a scaffold protein that plays an important role in receptor activator of nuclear factor B (RANK) signaling essential for osteoclast (OCL) differentiation. p62 mutation in the ubiquitin-associated (UBA) domain is widely associated with...

Despite of its important potential and role in defining a more rigorous modeling language and in designing and implementing safer applications, until today OCL was not used at its true value. Using the results obtained in implementing OCL support in ROCASE, and taking into account the conclusions obtained testing the tools mentioned at http://www.klasse.nl/ocl, the paper tries to analyze this s...