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)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    ANTLR: ANother Tool For Language Recognition, Official Web-Site, http://www.antlr.org
  2. 2.
    Atlas Model Management Architecture, http://www.sciences.univ-nantes.fr/lina/atl/AMMAROOT/
  3. 3.
    Atlas Transformation Language, official web-site, http://www.sciences.univ-nantes.fr/lina/atl/
  4. 4.
    Eclipse Foundation, Official Web-Site, http://www.eclipse.org
  5. 5.
    Eclipse GMT - Generative Model Transformer, Official Web-Site, http://www.eclipse.org/gmt
  6. 6.
    JDOM Official Web-Site, http://www.jdom.org
  7. 7.
    Microsoft Domain Specific Languages Framework, Official Web-Site, http://msdn.microsoft.com/vstudio/teamsystem/workshop/DSLTools/default.aspx
  8. 8.
    MOFScript. Official Web-Site, http://www.modelbased.net/mofscript/
  9. 9.
    OCLE: Object Constraint Language Environment, official web-site, http://lci.cs.ubbcluj.ro/ocle/
  10. 10.
    Octopus: OCL Tool for Precise Uml Specifications, official web-site, http://www.klasse.nl/ocl/octopus-intro.html
  11. 11.
    QVT Partners Official Web-Site, http://qvtp.org/
  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, http://www.cs.york.ac.uk/~dkolovos/epsilon
  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), http://www.cs.york.ac.uk/~dkolovos/publications/GaMMa02-kolovos.pdf
  17. 17.
    Eclipse.org. Eclipse Modelling Framework, http://www.eclipse.org/emf
  18. 18.
    Chauvel, F., Fleurey, F.: Kermeta Language Overview, http://www.kermeta.org
  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), http://www.omg.org/docs/ad/99-12-05.pdf
  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, http://mdr.netbeans.org/uml2mof/
  22. 22.
    MODELWARE Partners. D1.5: Model Consistency Rules (2005), http://www.modelware-ist.org
  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, http://www.omg.org/cgi-bin/doc?ptc/03-10-04
  25. 25.
    Object Management Group. Model Driven Architecture, official web-siteGoogle Scholar
  26. 26.
    Object Management Group. UML 2.0 OCL Specification, http://www.omg.org/docs/ptc/03-10-14.pdf
  27. 27.
    Object Management Group. UML official web-site, http://www.uml.org
  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, http://mdr.netbeans.org
  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, http://www.xactium.com
  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