Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use, rules are often complemented with OCL application conditions. The advancement of rule post-conditions into pre-conditions is a well-known problem in GT, but current techniques do not consider OCL. In this paper we pr...

OCL is used to add rigour to UML/MOF models, and in particular can be used to express behavioural details (e.g., operation preand postconditions, class invariants) of such models. The applicability and utility of OCL can be assessed by applying it to realistic applications and by investigating its capabilities both in terms of language characteristics and tool support. With this in mind, in thi...

This contribution presents an automatic transformation from UML and OCL models into enriched UML and OCL models, so-called lmstrip models, which embody temporal information when employing OCL while maintaining the same functionality as the original model. The approach uses a combination of object and sequence diagrams that allows for a wide range of possible OCL constraints about sequences of o...

The Object Constraint Language OCL is a formal textual notation that could be used for placing constraints on the modelling elements that occur in UML diagrams. Constraints include invariants on classes and types, and preconditions and postconditions of operations. OCL was designed to be used in conjunctions with UML diagrams resulting in more precise object-oriented designs. The Java Modelling...

UML/OCL is perceived as the de-facto standard for specifying object-oriented models in general and data models in particular. Since recently, all data types of UML/OCL comprise two different exception elements: invalid (“bottom” in semantics terminology) and null (for “non-existing element”). This has far-reaching consequences on both the logical and algebraic properties of OCL expressions as w...

At this time, to decide on which tool supporting OCL to use, is a difficult task. This is influenced by a number of objective factors, including: the user’s needs, knowledge of existing tools, knowledge of the Object Constraint Language and of the various possibilities of using it. Today, each tool maker states about implementing new features compared with the existent tools; moreover, differen...

When studying model-driven engineering (MDE) in industry, generalization of studies is often hard, as most artifacts are proprietary and confidential in nature. A possible solution would be to study open-source artifacts. However, open-source artifacts are not necessarily representative for those found in the industry. As the first step towards investigating the viability of opensource MDE arti...

Measuring quality is the key to developing high-quality software, and it is widely acknowledged that quality assurance of software products must be guaranteed from the early stages of development, assessing through metrics the quality of early models such as UML diagrams. There exists several proposals of metrics to UML diagrams, such as class diagrams, use case diagrams, etc. But, even though ...

The deep modeling tool Multi-level Modeling and Ontology Engineering Environment (Melanee) developed by the Software Engineering Group of the University of Mannheim allows clean and strict meta-modeling across multiple classification levels within Eclipse. Modeling with Melanee comprises two dimensions, a linguistic and an ontological dimension. As Melanee is fully embedded in the Eclipse Model...