A benchmark for OCL engine accuracy, determinateness, and efficiency

Autor: Fabian Büttner, Mirco Kuhlmann, Martin Gogolla, Lars Hamann
Rok vydání: 2010
Předmět:
Zdroj: Software & Systems Modeling. 11:165-182
ISSN: 1619-1374
1619-1366
DOI: 10.1007/s10270-010-0174-8
Popis: Since several years, the Object Constraint Language (OCL) is a central component in modeling and transformation languages like the Unified Modeling Language, the Meta Object Facility, and Query View Transformation. Consequently, approaches MDE (Model-Driven Engineering) depend on this language. OCL is present not only in areas influenced by the OMG but also in the Eclipse Modeling Framework (EMF). Thus the quality of OCL and its realization in tools seems to be crucial for the success of model-driven development. Surprisingly, up to now a benchmark for OCL to measure quality properties has not been proposed. This paper puts forward in the first part the concepts of a comprehensive OCL benchmark. Our benchmark covers (1) OCL engine accuracy (e.g., for the handling of the undefined value, the use of variables and the implementation of OCL standard operations), (2) OCL engine determinateness properties (e.g., for the collection operations `any' and `flatten'), and (3) OCL engine efficiency (for data type and user-defined operations). In the second part, this paper empirically evaluates the proposed benchmark concepts by examining several OCL tools. The paper clarifies a number of differences in handling particular language features and under specifications in the OCL standard.
Databáze: OpenAIRE
Externí odkaz: