论文信息 - Definition of OCL 2.0 Operational Semantics by means of a Parameterized Algebraic Specification

Definition of OCL 2.0 Operational Semantics by means of a Parameterized Algebraic Specification

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.

Artur Boronat | Isidro Ramos | José Á. Carsí

[1] Jack Greenfield,et al. Software factories: assembling applications with patterns, models, frameworks and tools , 2004, OOPSLA '03.

[2] Charles Ashbacher,et al. The Object Constraint Language Second Edition, Getting Your Models Ready for MDA, by Jos Warmer and Anneke Kleppe. , 2003 .

[3] Narciso Martí-Oliet,et al. Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[4] José Luis Fernández Alemán,et al. Emerging OCL tools , 2003, Software & Systems Modeling.

[5] Martin Gogolla,et al. Validation of UML and OCL Models by Automatic Snapshot Generation , 2003, UML.

[6] Anneke Kleppe,et al. MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[7] Artur Boronat,et al. Algebraic Specification of a Model Transformation Engine , 2006, FASE.

[8] D. Chiorean,et al. Proposals for a Widespread Use of OCL , 2005 .

[9] Jean Bézivin,et al. First experiments with the ATL model transformation language: Transforming XSLT into XQuery , 2003 .

[10] Artur Boronat,et al. Automatic Support for Traceability in a Generic Model Management Framework , 2005, ECMDA-FA.

[11] Bernhard Beckert,et al. The KeY System: Integrating Object-Oriented Design and Formal Methods , 2002, FASE.

[12] Bernhard Beckert. A Dynamic Logic for Java Card , 2000 .