Abstract
MOF QVT introduces ImperativeOCL as an imperative language for operational descriptions of model transformations (QVT operational mappings). ImperativeOCL extends conventional OCL by expressions with side-effects. A couple of semantical problems arise from the way OCL is embedded into ImperativeOCL – imperative expressions are modelled as a subtype of OCL expressions. This paper points out these semantical problems and proposes a change to the operational mappings language of QVT that resolves these problems, following an approach that reuses OCL by composition rather than by inheritance in the abstract syntax of ImperativeOCL. The proposed change reduces the complexity of the imperative language, removes undefinedness, and leaves OCL conformant to its original definition.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Akehurst, D., Patrascoiu, O.: The Kent Modeling Framework (KMF). University of Kent (2005), http://www.cs.kent.ac.uk/projects/ocl
Allilaire, F., Bézivin, J., Jouault, F., Kurtev, I.: Atl - eclipse support for model transformation. In: Proceedings of the Eclipse Technology eXchange workshop (eTX) at the ECOOP 2006 Conference, Nantes, France (2006)
Dan Chiorean and OCLE-Team. Object Constraint Language Environment 2.0. (2008), http://lci.cs.ubbcluj.ro/ocle/
Dresden-OCL-Team. Dresden OCL Toolkit (2008), http://dresden-ocl.sourceforge.net/
Gogolla, M., Büttner, F., Richters, M.: USE: A UML-Based Speci location Environment for Validating UML and OCL. Science of Computer Programming 69, 27–34 (2007)
Klasse Objecten. The Klasse Objecten OCL Checker Octopus. Klasse Objecten (2005), www.klasse.nl/english/research/octopus-intro.html
Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems 16(6), 1811–1841 (1994)
MDT-OCL-Team. MDT OCL (2008), http://www.eclipse.org/modeling/mdt/?project=ocl
Object Modeling Group. Object Constraint Language Specifica- tion, version 2.0, OMG document formal/2006-05-01 (June 2006), http://www.omg.org/cgi-bin/doc?formal/2006-05-01
Object Modeling Group. Meta Object Facility (MOF) 2.0 Query/View/- Transformation Specification, OMG document formal/08-04-03 (2008), http://www.omg.org/spec/MOF/2.0/PDF/
Richters, M.: A Precise Approach to Validating UML Models and OCL Con- straints. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Logos Verlag, Berlin, BISS Monographs, No. 14 (2002)
RoclET-Team. Welcome to RoclET (2008), http://www.roclet.org/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Büttner, F., Kuhlmann, M. (2009). Shortcomings of the Embedding of OCL into QVT ImperativeOCL. In: Chaudron, M.R.V. (eds) Models in Software Engineering. MODELS 2008. Lecture Notes in Computer Science, vol 5421. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01648-6_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-01648-6_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01647-9
Online ISBN: 978-3-642-01648-6
eBook Packages: Computer ScienceComputer Science (R0)