Specifying Executable Platform-Independent Models using OCL

  • Model-driven architecture aims at describing a system using a platform-independent model in sufficient detail so that the full implementation of the system can be generated from this model and a platform model. This implies that the platform-independent model must describe the static structure as well as the dynamic behavior of the system. We propose a declarative language for describing the behavior of platform-independent models based on a hybrid notation that uses graphical elements as well aModel-driven architecture aims at describing a system using a platform-independent model in sufficient detail so that the full implementation of the system can be generated from this model and a platform model. This implies that the platform-independent model must describe the static structure as well as the dynamic behavior of the system. We propose a declarative language for describing the behavior of platform-independent models based on a hybrid notation that uses graphical elements as well as textual elements in the form of OCL code snippets. Compared to existing approaches based on action languages it is situated at a higher level of abstraction and, through a clean separation of modifier operations and query operations, simplifies the comprehension of the behavioral aspects of the platform-independent system.show moreshow less

Download full text files

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author: Pierre Kelsen, Elke Pulvermueller, Christian Glodt
URN:urn:nbn:de:kobv:83-opus-18057
ISBN:1863-2122
Series (Serial Number):Electronic Communications of the EASST- ECEASST (09/07)
Document Type:Arbeitspapier/Research Paper
Language:English
Date of Publication (online):2008/03/11
Publishing Institution:Technische Universität Berlin
Release Date:2008/03/11
Tag:OCL; Object Constraint Language; Programmiersprache
OCL; Object Constraint Language; programming language
Note:
http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/16
Institutes:Institut für Softwaretechnik und Theoretische Informatik
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
Collection:Volume 9 (2008): Ocl4All - Modelling Systems with OCL
Licence (German):License LogoCC BY-NC-SA 2.0 DE: Creative Commons-Lizenz: Namensnennung, nicht kommerziell, Weitergabe unter gleichen Bedingungen 2.0 Deutschland