[PDF] Top 20 Recent Developments in OCL and Textual Modelling

... 16th OCL workshop featured a light- ning talk session for discussing recent developments and open questions in the area of OCL and textual ...the OCL community discussed, ... See full document

... The question for a qualitative comparison is a critical issue and could be a subject for further work. Firstly it should be noted again that all data were provided by the OCL tool developers themselves. This ... See full document

... The UML-based Specification Environment (USE) [6] is a tool that can generate UML object diagrams from class diagrams manually or semi-automatically. These derived object diagrams can be seen as snapshots of a running ... See full document

... the OCL WFRs specified in the UML ...all OCL WFRs of the UML 2.3 Superstructure including the modified OCL expressions for the effortless reuse in the further OMG UML ...latest OCL syntax ... See full document

... of OCL; the changes are intended to just make the specification say what many users think it already ...course OCL implementations that have resolved ambiguities in alternative directions may see a ...the ... See full document

... We performed two large benchmarks [Hol10] with EMF models of approximately 4,000 ele- ments and 10,000 references, using 380 OCL expressions and two different change logs that we re-played. Using the technique ... See full document

... the OCL standard [Obj10] to be finite, so uncomputable operations are ...for OCL that check the conformance of an implementation to its OCL specification at runtime could be implemented without ... See full document

... Notice that the syntax for OCL expressions in mOdCL is close to the syntax of OCL. However, they are defined in equations, being declared as constants for later reference. And because of Maude limitations ... See full document

... The PAM is provided as a UML model containing central classes of the SUM with attributes and associations. The class definitions contain relevant attributes, operations and OCL invariants. The dynamic behavior of ... See full document

... corresponding textual rep- ...the textual representation is provided as an expression that specifies how the text should be built using the partial instruction’s ... See full document

... The merged model is a conventional model and so should be amenable to support by a UML modeling environment. However since the model is modified, it may be necessary to create a distinct model for each usage, since each ... See full document

... Integrated OCL Development Environment (IDE4OCL) can signif- icantly improve the pragmatics and practice of ...for OCL developers including a set predefined ...the OCL community members for their ... See full document

... evaluating OCL expressions on really large scenar- ios: instead of having to “load” them in memory (a time-consuming, or even impractical task for OCL evaluators), we can (i) store these scenarios in a ... See full document

... these OCL constraints soon realizes that the constraints have never been subjected to a tool that provides syntactic, let alone semantic, ...Eclipse OCL realization of these constraints is distributed ... See full document

... The Object Constraint Language (OCL) [Obj06b] was originally designed as a formal lan- guage to describe invariants and queries on Unified Modeling Language (UML) [Obj04] models. Nowadays, the application of ... See full document

... both OCL con- straints (right part) and the underlying UML model (left ...graphs. OCL constraints (right part) can fix the intended meaning of the defined concepts, ... See full document

... The OCL designers defined an underlying model in which all expressions have types. Consequently the mathematical concept of truth was reified by a Boolean type with associated Boolean library operations. The ... See full document

... and textual syntaxes for our modelling and transformation languages (MOF, TGG, SDM) that currently only have a graphical concrete ...and textual syntax for our transformation language as very ... See full document

... Abstract: F-OML is an F-Logic based Object Modeling Language. It can be used for extending UML diagrams, reasoning about them, testing UML models, and defining their syntax (meta-modeling) and semantics. This wide range ... See full document

... the textual and graphical forms of a high-level modelling language called the Business Object Notation ...and textual representations and the relation- ship that holds between ...between ... See full document