[PDF] Top 20 Volume 44: OCL and Textual Modelling 2011

... 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

... 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

... 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

... 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

... 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

... Monitoring an application in the presented way allows a user to monitor the validity of UML constraints like multiplicities or compositions, invaraints, pre- and postconditions without the need to modify the source code ... 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

... 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

... 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

... ASSL has been implemented in combination with the parser generator ANTLR [11]. However, this article does not focus on implementation details. It rather explains how we use the extensions in the context of UML ... See full document

... A textual specification is “rendered” into a graphical specification, and it is guaranteed that all properties of the textual specification are captured in the graphical ...a textual specification, ... See full document

... Furthermore, each WFR specification should fulfill some quality criteria. The following three are among the most important, the first two being also among the least addressed in the literature. 1. Detailed, test-driven ... 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

... Abstract: Model-driven architecture aims at describing a system using a platform- independent model in sufficient detail so that the full implementation of the sys- tem can be generated from this model and a platform ... 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

... Unified Modelling Language (UML), its designers understood early on that visual models are not sufficiently expressive for all modelling ...(OCL)—a textual constraint language closely linked ... See full document

... the OCL and R2ML abstract syntax comprise translation of the OCL ...all OCL iterator construct variations ...the OCL textual concrete syntax ...an OCL invariant from Figure 1 ... 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

... 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

... 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