[PDF] Top 20 Volume 5: OCL for (Meta-)Models in Multiple Application Domains 2006

... Dresden OCL Toolkit the OCL Standard Library is implemented by some Java classes, which are used by the Java code, created by the Java code generator of the Dresden OCL Toolkit, to evaluate an ... See full document

... of OCL users, are of little ...formalisms OCL users are familiar with, for example ...dynamic meta-modeling techniques, rather than static meta-classes should be used to define the OCL ... See full document

... Queries provide aggregated information on sets of model elements. The analysis by means of queries supports semantic quality of models. As stated in [KS00], semantic quality belongs to the social layer and needs ... See full document

... Our contribution to solving the problem of constraint development consists of four parts. Firstly, we introduce the notion of computation-independent constraint patterns and show how to transform them into ... See full document

... aligning OCL with arbitrary DSLs lies in the two different instantiation mechanisms used in the context of the MOF architecture, as also discussed in ...of meta-classes defined in the M2 ... See full document

... The OCL language is typed; the type annotation syntax E:T for all expression E and all type expressions T is the visible display of this ...typed meta-logic, this means that we can “imple- ment” E:T by E :: ... See full document

... of OCL constraints consists of two steps: (i) selecting the object and its properties that we need to check against the constraint and (ii) executing the validation ...several OCL-related optimization ... See full document

... Even from this rather simple example, one can easily recognize many different languages that are directly involved in the process of interchanging OWL/SWRL and UML/OCL. Given the solut[r] ... See full document

... with OCL constraints which describe the new constructs more ...of OCL expressions let alone supplementing profiles with OCL constraints, it is difficult to check if models based on a profile ... See full document

... in OCL . In another scenario, OCL constraints can be used for gener- ating code for runtime-testing or, if combined with the HOL -T EST G EN system [BW04, BW05], for generating test-data for a systematic ... See full document

... their attached nuts were modelled plus a spare wheel in the car boot. The additional wheel (as compared with the ‘usual’ model in (Russell 1992)) was introduced so that extra valida- tion checks could be introduced. In ... See full document

... Against this background, this report presents an assessment of the long-term sustainability of budgetary policies in the euro area. The analysis reveals that, based on current policies, a considerable gap exists between ... See full document

... US assets are still likely to be the first choice for safe investments abroad as many oil-producing countries have their exchange rates fixed to the US dollar and oil prices are quoted in US dollars. Nevertheless, there ... See full document

... in 2006, by ...period 2006-07 the Commission projects – on an unchanged policy basis – the structural deficit to improve only by ¼% of GDP, although additional fiscal consolidation may happen when 2007 ... See full document

... Second, DG ECFIN's dynamic factor model (DFM) points to an underestimation of GDP growth in the last quarter of 2005. The model allows to extract underlying common developments in economic activity in the euro area from ... See full document

... of OCL is the use for describing rules in concrete syntax ..., OCL is extensively used for the definition of lookup and attribution ...on models over which such an expression is specified require the ... See full document

... the OCL-based imperative programming language SOIL (Simple OCL-based Imperative Language) has been developed [3] that can also be interpreted by the USE ... 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

... many models, diagrams and constraints that are obviously model-based, we propose to use techniques from elucidative program- ming [Nor02] for the UML specification ...to models, diagrams and constraints ... 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