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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ANTLR: ANother Tool For Language Recognition, Official Web-Site, http://www.antlr.org
Atlas Model Management Architecture, http://www.sciences.univ-nantes.fr/lina/atl/AMMAROOT/
Atlas Transformation Language, official web-site, http://www.sciences.univ-nantes.fr/lina/atl/
Eclipse Foundation, Official Web-Site, http://www.eclipse.org
Eclipse GMT - Generative Model Transformer, Official Web-Site, http://www.eclipse.org/gmt
JDOM Official Web-Site, http://www.jdom.org
Microsoft Domain Specific Languages Framework, Official Web-Site, http://msdn.microsoft.com/vstudio/teamsystem/workshop/DSLTools/default.aspx
MOFScript. Official Web-Site, http://www.modelbased.net/mofscript/
OCLE: Object Constraint Language Environment, official web-site, http://lci.cs.ubbcluj.ro/ocle/
Octopus: OCL Tool for Precise Uml Specifications, official web-site, http://www.klasse.nl/ocl/octopus-intro.html
QVT Partners Official Web-Site, http://qvtp.org/
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)
Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible Consistency Checking. ACM Transactions on Software Engineering and Methodology 12(1), 28–63 (2003)
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)
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
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
Eclipse.org. Eclipse Modelling Framework, http://www.eclipse.org/emf
Chauvel, F., Fleurey, F.: Kermeta Language Overview, http://www.kermeta.org
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
Del Fabro, M.D., Bezivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: A Generic Model Weaver. In: Proceedings of IDM 2005 (2005)
Matula, M.: NetBeans UML Profile for MOF, http://mdr.netbeans.org/uml2mof/
MODELWARE Partners. D1.5: Model Consistency Rules (2005), http://www.modelware-ist.org
Snoeck, M., Michiels, C., Dedene, G.: Consistency by Construction: The Case of MERODE. In: International Workshop on Conceptual Modeling Quality (2003)
Object Management Group. Meta Object Facility (MOF) 2.0 Core Specification, http://www.omg.org/cgi-bin/doc?ptc/03-10-04
Object Management Group. Model Driven Architecture, official web-site
Object Management Group. UML 2.0 OCL Specification, http://www.omg.org/docs/ptc/03-10-14.pdf
Object Management Group. UML official web-site, http://www.uml.org
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)
Pottinger, R.A., Bernstein, P.A.: Merging Models Based on Given Correspondences. Technical Report UW-CSE-03-02-03, University of Washington (2003)
Sun Microsystems. Meta Data Repository, http://mdr.netbeans.org
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)
Xactium. XMF-Mosaic, http://www.xactium.com
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kolovos, D.S., Paige, R.F., Polack, F.A.C. (2006). The Epsilon Object Language (EOL). In: Rensink, A., Warmer, J. (eds) Model Driven Architecture – Foundations and Applications. ECMDA-FA 2006. Lecture Notes in Computer Science, vol 4066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11787044_11
Download citation
DOI: https://doi.org/10.1007/11787044_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35909-8
Online ISBN: 978-3-540-35910-4
eBook Packages: Computer ScienceComputer Science (R0)