Published in
Proceedings of Second European Conference on Model Driven Architecture. Bilbao (Spain). Springer LNCS. July 10th-13th 2006 - 2006

Abstract
In the Model-Driven Architecture initiative, software artefacts are represented by means of models that can be manipulated. Such manipulations can be performed by means of transformations and queries. The standard Query/Views/Transformations and the standard language OCL are becoming suitable languages for these purposes. This paper presents an algebraic specification of the operational semantics of part of the OCL 2.0 standard, focusing on queries. This algebraic specification of OCL can be used within the Eclipse Modeling Framework to represent models in an algebraic setting and to perform queries or transformations over software artefacts that can be represented as models: model instances, models, metamodels, etc. In addition, a prototype for executing such OCL queries and invariants over EMF models is presented. This prototype provides a compiler of the OCL standard language that targets an algebraic specification of OCL, which is run on the term rewriting system Maude.

@misc{issi_web:id:187,
title = "An Algebraic Specification of Generic OCL Queries within the Eclipse Modeling Framework",
author = "Artur Boronat Moll and Joaquín Oriente Cantos and Abel Gómez Llana and Isidro Ramos Salavert and Jose Angel Carsí Cubel",
booktitle = "Proceedings of Second European Conference on Model Driven Architecture. Bilbao (Spain). Springer LNCS. July 10th-13th 2006",
year = "2006",
eprint = "http://issi.dsic.upv.es/publications/archives/",
url = "http://www.ecmda-fa.org/",
abstract = "In the Model-Driven Architecture initiative, software artefacts are represented by means of models that can be manipulated. Such manipulations can be performed by means of transformations and queries. The standard Query/Views/Transformations and the standard language OCL are becoming suitable languages for these purposes. This paper presents an algebraic specification of the operational semantics of part of the OCL 2.0 standard, focusing on queries. This algebraic specification of OCL can be used within the Eclipse Modeling Framework to represent models in an algebraic setting and to perform queries or transformations over software artefacts that can be represented as models: model instances, models, metamodels, etc. In addition, a prototype for executing such OCL queries and invariants over EMF models is presented. This prototype provides a compiler of the OCL standard language that targets an algebraic specification of OCL, which is run on the term rewriting system Maude."
}