An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework

  • Artur Boronat
  • Joaquín Oriente
  • Abel Gómez
  • Isidro Ramos
  • José Á. Carsí
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4066)


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 runs on the term rewriting system Maude.


MDA OCL queries and invariants metamodeling algebraic specification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Sztipanovits, J., Karsai, G.: Model-Integrated Computing, vol. 30, pp. 110–111. IEEE Computer Society Press, Los Alamitos (1997)Google Scholar
  2. 2.
    Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture–Practice and Promise (2003)Google Scholar
  3. 3.
    Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. John Wiley & Sons, Chichester (2004)Google Scholar
  4. 4.
    OMG: Meta Object Facility (MOF) 2.0 Core Specification, ptc/04-10-15 (2004)Google Scholar
  5. 5.
    OMG: MOF 2.0 QVT final adopted specification (ptc/05-11-01) (2005) Google Scholar
  6. 6.
    Boronat, A., Carsí, J.A., Ramos, I.: Algebraic Specification of a Model Transformation Engine. In: Baresi, L., Heckel, R. (eds.) FASE 2006 and ETAPS 2006. LNCS, vol. 3922, pp. 262–277. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Bézivin, J., Dupe, G., Jouault, F., Pitette, G., Rougui, J.E.: First experiments with the ATL model transformation language: Transforming XSLT into XQuery. In: OOPSLA 2003 Workshop, Anaheim, California (2003)Google Scholar
  8. 8.
    The Model Transformation Framework,
  9. 9.
    Warmer, J., Kleppe, A.: The Object Constraint Language, Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley, Reading (2004)Google Scholar
  10. 10.
    Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285, 187–243 (2002)zbMATHCrossRefGoogle Scholar
  11. 11.
    Martí-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science 285, 121–154 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Boronat, A., Carsí, J.A., Ramos, I.: Automatic Support for Traceability in a Generic Model Management Framework. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 316–330. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. Addison Wesley Professional, Reading (2003)Google Scholar
  14. 14.
    Kent, U.o.: Kent Object Constraint Language Library,
  15. 15.
    Toval, A., Requena, V., Fernández, J.L.: Emerging OCL tools. Software and System Modeling 2, 248–261 (2003)CrossRefGoogle Scholar
  16. 16.
    Ahrendt, W., Baar, T., Beckert, B., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Schmitt, P.H.: The KeY System: Integrating Object-Oriented Design and Formal Methods. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, p. 327. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  17. 17.
    Richters, M.: The USE tool: A UML-based Specification Environment (2001),
  18. 18.
    Egea, M., Clavel, M.: The ITP/OCL tool (2006),
  19. 19.
  20. 20.
    Eclipse Modeling Framework Technologies (2006),
  21. 21.
    Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude 2.2 manual and examples (2005)Google Scholar
  22. 22.
    Eker, S.: Associative-Commutative Rewriting on Large Terms. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Artur Boronat
    • 1
  • Joaquín Oriente
    • 1
  • Abel Gómez
    • 1
  • Isidro Ramos
    • 1
  • José Á. Carsí
    • 1
  1. 1.Department of Information Systems and ComputationTechnical University of ValenciaValenciaSpain

Personalised recommendations