Eingang zum Volltext in OPUS

Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-31087
URL: http://opus.kobv.de/tuberlin/volltexte/2011/3108/

Büttner, Fabian ; Kuhlmann, Mirco

Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL

pdf-Format:
Dokument 1.pdf (407 KB)
Print-on-Demand:

Kurzfassung auf Englisch

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.

Freie Schlagwörter (Deutsch): MOF , QVT , ImperativeOCL , OCL
Freie Schlagwörter (Englisch): MOF , QVT , ImperativeOCL , OCL
Collection: TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 15 (2008): OCL Concepts and Tools 2008
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Bandnummer: 15/02
ISBN/ISSN: 1863-2122
Quelle: http://journal.ub.tu-berlin.de/eceasst/article/view/175
Sprache: Englisch
Erstellungsjahr: 2008
Publikationsdatum: 21.06.2011
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja