You are here: Home / Publications

Scientific Papers

ISSI Research Papers

Paper information
Title
Definition of OCL 2.0 Operational Semantics by means of a Parameterized Algebraic Specification
Published in
Servicio de Publicaciones UPV. 1st International Workshop on Algebraic Foundations for OCL and Applications. Valencia, Spain, March 22nd, 2006 - 2006
Abstract
This paper presents an algebraic specification of the operational semantics of part of the OCL 2.0 standard. This specification is used in a model management tool that provides support for model-driven tasks within the Eclipse platform. The algebraic specification of OCL has been developed in Maude by using its parameterization mechanism, providing a suitable modularization and making reuse easier. In this work, OCL can be used in the Eclipse Modeling Framework to represent models in an algebraic setting and to perform queries or constraints over software artefacts that can be represented as models.


BibTeX
@misc{issi_web:id:210,
        title =  "Definition of OCL 2.0 Operational Semantics by means of a Parameterized Algebraic Specification",
        author = "Artur Boronat Moll and Isidro Ramos Salavert and Jose Angel Carsí Cubel",
        booktitle = "Servicio de Publicaciones UPV. 1st International Workshop on Algebraic Foundations for OCL and Applications. Valencia, Spain, March 22nd, 2006",
        year = "2006",
        eprint = "http://issi.dsic.upv.es/publications/archives/",
        url = "",
        abstract = "This paper presents an algebraic specification of the operational semantics of part of the OCL 2.0 standard. This specification is used in a model management tool that provides support for model-driven tasks within the Eclipse platform. The algebraic specification of OCL has been developed in Maude by using its parameterization mechanism, providing a suitable modularization and making reuse easier. In this work, OCL can be used in the Eclipse Modeling Framework to represent models in an algebraic setting and to perform queries or constraints over software artefacts that can be represented as models."
}