Synchronizing models to define graphical languages

OData support
Supervisor:
Debreceni Csaba
Department of Measurement and Information Systems

The main concept of the Model Driven Development (MDD) approach is that all design decisions are captured using graph based models (e.g. UML class diagram etc.) Usually, an MDD development process starts with a precise modeling phase, where system re-quirements are specified using high-level models, from these high-level models through precise refinement steps detailed implementation specific models are derived, which serve as the input for the final source code and configuration generation steps.

However, as the complexity of the systems under design grows, models used for de-scribing their internal details are becoming too large and complex to be handled effec-tively. To ease their understanding, we have to be able to define specific views (e.g., security, dependability, communication paths, etc.) to filter out all unnecessary details from the underlying model as it is easier to recognize design flaws and specification errors using these domain-specific abstract views.

In my thesis I demonstrate a framework that allows the transformation between models, which is considered as the general case of derivation of abstract views over complex models. In this document I will describe the basic concept and behavior of the system, as well as the configuration and expansion possibilities of it. In addition to these, I will discuss two applications of the framework in detail. The main purpose of these applica-tions is to expand and improve the features of the well-known Sirius modeling tool, in order to be able to display and incrementally maintain abstract views over complex models.

My approach is built upon the Eclipse Modeling Framework, considered as the de facto industry standard for modeling, while the visualization of the views is created by the Sirius platform. The rules used by the transformation framework can be defined using declarative graph patterns, which are processed and executed by the VIATRA Query and VIATRA EVM technologies. Finally, the operation of the framework is demonstrated through an example from the CONCERTO EU-Artemis project that aims in providing model driven development techniques for designing telecare systems.

Downloads

Please sign in to download the files of this thesis.