Specifying Executable Platform-Independent Models using OCL

Pierre Kelsen, Elke Pulvermueller, Christian Glodt


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 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.

Full Text:


DOI: http://dx.doi.org/10.14279/tuj.eceasst.9.101

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.9.101.96

Hosted By Universit├Ątsbibliothek TU Berlin.