[PDF] Top 20 Volume 9: Ocl4All - Modelling Systems with OCL

... The thesis of this paper is intended to be a controversial statement that will generate discussion at the OCL4All workshop. The statement is actually more general than that implied by the title; C# is not the ... See full document

... Unified Modelling Language (UML), its designers understood early on that visual models are not sufficiently expressive for all modelling ...beyond. OCL was well accepted at least in the research ... See full document

... meaning OCL with Temporal Message logic. The OCL standard has been extended to include temporal operations based on state[8, 9] and event[2, 12, 30, 31] ... See full document

... Finally, our solution still faces some limitations that are worthwhile to address. For instance, our pivot model currently lacks the expressive power to model the dynamic semantics of iterator expressions for the ... See full document

... DeclarativeCodeGenerator—translates OCL invariants to equivalent expressions in the target query ...the OCL invariants and provides information about how these elements can be accessed in the target data ... See full document

... operating systems, and other issues of this kind will somewhat be solved by the introduction of OpaqueExp for domain specified operation, but it is still limited and may bring some imprecise ...the OCL ... See full document

... Modeling Language) is a rich language with different collection kinds (sets, multi- sets, sequences) and a large variety of operations defined thereon. Without negating the strong correlation between both fields we can ... See full document

... In [10], Korel et al introduced a test data generation technique where the test case specification is defined in terms of assertion violation. According to [10], finding an assertion violation may reveal a fault in the ... See full document

... an OCL code snippet (represented by a Function object) that expresses the value of the parameter of the child event in terms of the parameters of the parent event and in terms of query operations and properties of ... See full document

... operations: select, reject, includesAll, and forAll. Due to size of this paper we do not describe mapping of every operation in detail. As an example, we may say that the select operation (represented in the OCL ... See full document

... of OCL ex- pressions (including, possibly nested, iterator expressions) which is based on the use of stored procedures for mapping OCL ...from OCL to MySQL are supported (leaving aside syntactic ... See full document

... Utility in the concrete syntax requires that the Feature definition can be looked up by hierar- chical name in the OCL Environment. The specification of Environment lookup in Clause 9 can resolve Property ... 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 paper is structured as follows. Section 2 introduces a running example, which will be used in the rest of the paper to illustrate our approach. Section 3 serves as a brief introduction to rewriting logic and Maude, ... 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

... There is a need for a third kind of languages: hardware architecture description languages, or rather hardware platform description languages, that would explicitly capture the software [r] ... 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 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

... Fortunately, OCL ignores the accidental navigability that may be a deliberate optimization for code generation or the unavoidable consequence of independent model ...In OCL, all object to object properties ... See full document

... Model-driven development (MDD) is currently considered to be a promising paradigm for soft- ware production. MDD aims at employing models in all development phases and for different purposes. Quite common is the forward ... See full document