A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency

Authors:
Martin Gogolla;Mirco Kuhlmann;Fabian Büttner
Affiliations:
Computer Science Department Database Systems Group, University of Bremen, Bremen, Germany D-28334;Computer Science Department Database Systems Group, University of Bremen, Bremen, Germany D-28334;Computer Science Department Database Systems Group, University of Bremen, Bremen, Germany D-28334
Venue:
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Year:
2008

Citing 3
Cited 6

The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
An OCL Extension for Real-Time Constraints

Object Modeling with the OCL, The Rationale behind the Object Constraint Language
USE: A UML-based specification environment for validating UML and OCL

Science of Computer Programming

Experiments with a High-Level Navigation Language

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
OCL-based testing for e-learning web service

ICWL'10 Proceedings of the 2010 international conference on New horizons in web-based learning
Extending OCL with null-references: towards a formal semantics for OCL 2.1

MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
On better understanding OCL collections or an OCL ordered set is not an OCL set

MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
A benchmark for OCL engine accuracy, determinateness, and efficiency

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Object Constraint Language (OCL) is a central element in modeling and transformation languages like UML, MOF, and QVT. Consequently approaches for MDE (Model-Driven Engineering) depend on OCL. However, OCL is present not only in these 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 (A) OCL engine accuracy (e.g., for the undefined value and the use of variables), (B) OCL engine determinateness properties (e.g., for the collection operations any and flatten), and (C) OCL engine efficiency (for data type and user-defined operations). In the second part, this paper empirically evaluates the proposed benchmark concepts by examining a number of OCL tools. The paper discusses several differences in handling particular OCL language features and underspecifications in the OCL standard.