The Epsilon Object Language (EOL)

  • Dimitrios S. Kolovos
  • Richard F. Paige
  • Fiona A. C. Polack
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4066)


Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of these model management techniques is a set of facilities for model navigation and modification. A subset of the Object Constraint Language can be used for some of these tasks, but it has limitations as a general-purpose language to be used in a variety of model management tasks. We present the metamodel independent Epsilon Object Language (EOL) which builds on OCL. EOL can be used both as a standalone generic model management language or as infrastructure on which task-specific languages can be built. We describe how it has been used to construct a selection of languages, such as model merging, comparison, and text generation languages.


Model Management Object Constraint Language Object Management Group Concrete Syntax Eclipse Modelling Framework 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ANTLR: ANother Tool For Language Recognition, Official Web-Site,
  2. 2.
    Atlas Model Management Architecture,
  3. 3.
    Atlas Transformation Language, official web-site,
  4. 4.
    Eclipse Foundation, Official Web-Site,
  5. 5.
    Eclipse GMT - Generative Model Transformer, Official Web-Site,
  6. 6.
    JDOM Official Web-Site,
  7. 7.
    Microsoft Domain Specific Languages Framework, Official Web-Site,
  8. 8.
    MOFScript. Official Web-Site,
  9. 9.
    OCLE: Object Constraint Language Environment, official web-site,
  10. 10.
    Octopus: OCL Tool for Precise Uml Specifications, official web-site,
  11. 11.
    QVT Partners Official Web-Site,
  12. 12.
    Hnatkowska, B., Huzar, Z., Kuzniarz, L., Tuzinkiewicz, L.: A systematic approach to consistency within UML based software development process. In: Consistency Problems in UML-based Software Development Workshop, pp. 16–29 (2002)Google Scholar
  13. 13.
    Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible Consistency Checking. ACM Transactions on Software Engineering and Methodology 12(1), 28–63 (2003)CrossRefGoogle Scholar
  14. 14.
    Chiorean, D., Pasca, M., Carcu, A., Botiza, C., Moldovan, S.: Ensuring UML models consistency using the OCL Environment. In: Sixth International Conference on the Unified Modelling Language - the Language and its applications (2003)Google Scholar
  15. 15.
    Kolovos, D.S.: Extensible Platform for Specification of Integrated Languages for mOdel maNagement (Epsilon), Official Web-Site,
  16. 16.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Model Comparison: A Foundation for Model Composition and Model Transformation Testing. In: Proc. 1st International Workshop on Global Integrated Model Management (GaMMa) (2006),
  17. 17. Eclipse Modelling Framework,
  18. 18.
    Chauvel, F., Fleurey, F.: Kermeta Language Overview,
  19. 19.
    Vaziri, M., Jackson, D.: Some Shortcomings of OCL, the Object Constraint Language of UML. Response to Object Management Group’s Request for Information on UML 2.0 (December 1999),
  20. 20.
    Del Fabro, M.D., Bezivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: A Generic Model Weaver. In: Proceedings of IDM 2005 (2005)Google Scholar
  21. 21.
    Matula, M.: NetBeans UML Profile for MOF,
  22. 22.
    MODELWARE Partners. D1.5: Model Consistency Rules (2005),
  23. 23.
    Snoeck, M., Michiels, C., Dedene, G.: Consistency by Construction: The Case of MERODE. In: International Workshop on Conceptual Modeling Quality (2003)Google Scholar
  24. 24.
    Object Management Group. Meta Object Facility (MOF) 2.0 Core Specification,
  25. 25.
    Object Management Group. Model Driven Architecture, official web-siteGoogle Scholar
  26. 26.
    Object Management Group. UML 2.0 OCL Specification,
  27. 27.
    Object Management Group. UML official web-site,
  28. 28.
    Patrascoiu, O.: YATL:Yet Another Transformation Language. In: Proceedings of the 1st European MDA Workshop, MDA-IA, University of Twente, the Nederlands, pp. 83–90 (January 2004)Google Scholar
  29. 29.
    Pottinger, R.A., Bernstein, P.A.: Merging Models Based on Given Correspondences. Technical Report UW-CSE-03-02-03, University of Washington (2003)Google Scholar
  30. 30.
    Sun Microsystems. Meta Data Repository,
  31. 31.
    Mens, T., Van Der Straeten, R., Simmonds, J.: Maintaining Consistency between UML Models with Description Logic Tools. In: Sixth International Conference on the Unified Modelling Language - the Language and its applications, Workshop on Consistency Problems in UML-based Software Development II (2003)Google Scholar
  32. 32.
    Xactium. XMF-Mosaic,
  33. 33.
    Liu, Z., Jifeng, H., Li, X., Chen, Y.: Consistency and Refinement of UML Models. In: Consistency Problems in UML-based Software Development Workshop III (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Dimitrios S. Kolovos
    • 1
  • Richard F. Paige
    • 1
  • Fiona A. C. Polack
    • 1
  1. 1.Department of Computer ScienceUniversity of YorkHeslington, YorkUK

Personalised recommendations