Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL

  • 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 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.show moreshow less

Download full text files

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author: Fabian Büttner, Mirco Kuhlmann
URN:urn:nbn:de:kobv:83-opus-31087
ISBN:1863-2122
Series (Serial Number):Electronic Communications of the EASST- ECEASST (15/02)
Document Type:Arbeitspapier/Research Paper
Language:English
Date of Publication (online):2011/06/21
Publishing Institution:Technische Universität Berlin
Release Date:2011/06/21
Tag:ImperativeOCL; MOF; OCL; QVT
ImperativeOCL; MOF; OCL; QVT
Note:
http://journal.ub.tu-berlin.de/eceasst/article/view/175
Institutes:Institut für Softwaretechnik und Theoretische Informatik
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
Collection:Volume 15 (2008): OCL Concepts and Tools 2008
Licence (German):License Logo CC BY-NC-SA: Creative Commons-Lizenz: Namensnennung, nicht kommerziell, Weitergabe zu gleichen Bedingungen