[PDF] Top 20 Volume 36: OCL and Textual Modelling

... the textual modeling expression language had utility be- yond UML and so OCL ...as OCL forms the basis for alternate model- ing specifications such as the Model to Text transformation language ... See full document

... 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, stimulated through ... See full document

... the OCL language; it only applies to boolean expressions and not to arbitrary queries; and the “complexity” of the produced code makes impractical its use for evaluating expressions on medium-large ...of ... See full document

... Many modelling languages have both a textual and a graphical ...for modelling often do not treat both forms as first-class citizens, instead choosing to favour one as the “real” representation and ... 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 experience aquired while working at and with the UML 1.5 WFRs in OCLE [LCI] has allowed us to conclude that the task of creating an efficient OCL specification for the static semantics of an UML metamodel is ... 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

... Concepts in metamodelling in general and model transformations in particular, can be for- malised, using the well researched and formally founded field of graph theory. As models con- sist of objects (nodes) and links ... See full document

... Abstract: The Eclipse Modeling Framework (EMF) and its meta-meta model Ecore support uni-directional and bi-directional references. It is quite common that refer- ences are defined uni-directionally only because of ... See full document

... of OCL statement as it pro- vides import ...the OCL standard library either as a learning material or for reuse ...all OCL statements relating to a particular context to be editable ... See full document

... Abstract: We explore the potential of adding objective functions to OCL operation contracts. If an operation contract includes an objective function, the operation has the obligation to yield results that make the ... See full document

... Abstract: In this paper we present an approach that enables users to monitor and verify the behavior of an application running on a virtual machine at the model level. Concrete implementations of object-oriented software ... See full document

... the OCL Standard Library is to be used by practical OCL tools, the library model must provide a body for every operation and ...bodies. OCL tools may wish to provide their own more optimum ...Eclipse ... See full document

... satisfaction of their OCL constraints. Maude [CDE + 02, CDE + 07] is an executable formal specification language based on rewriting logic, with a rich set of validation and verification tools [CDE + 07, CDH + 07], ... See full document

... OCL already has operations that possess a flavor of randomness, like the operation any(). One could also consider a new collection operation random() that randomly chooses an element from the argument collection. ... See full document

... in OCL is the separation of operation calls on collec- tions and single elements in its concrete ...the OCL and its usage—did not fully understand this concept since nine constraints contained errorneous ... 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

... of OCL is the use for describing rules in concrete syntax ...the textual modeling framework F URCAS , OCL is extensively used for the definition of lookup and attribution ...a textual ... See full document

... of OCL types (including primitive types) can be easily accomplished, by specifying the new observers by means of a def let decla- ration in an “ ...of OCL specifications written at the metamodel ...literal ... See full document

... Table 1 shows results for a few processor models. For each processor family, the following met- rics are given: the number of partial instructions (PI) in the source (textual) processor descrip- tion; the number ... See full document