Informatik, TU Wien

Composite Modeling

Formalization and Tool Support based on the Eclipse Modeling Framework and Henshin.

Abstract

Model-based development of highly complex software systems can lead to large models. Storing them in repositories offers the possibility to work with models in a distributed environment. However, they are not modularized and thus, do not especially support the development in distributed teams. An alternative are composite models such that several teams can work independently to a large extent. A general approach to composite modeling is presented being based on distributed graphs and graph transformation concepts.

The Eclipse Modeling Framework (EMF) being broadly used in model-based development, supports the physical distribution of models while treating them as one big model logically. Composite EMF models allow for the component-oriented modularization of models and therefore support engineering principles as encapsulation, decoupling, and information hiding. There are several approaches to manipulate EMF models by model transformations such as ATL, Xpand, and Henshin. Since the focus of this approach is on general structuring concepts for models and model transformations, we do not consider transformation approaches in detail, but handle transformations just as partial mappings between models. The concrete implementation of composite EMF model transformations, however, is provided on the basis of Henshin.

Biography

Gabriele Taentzer is Associate Professor for Software Engineering at the Department of Mathematics and Computer Science of the Philipps-Universität Marburg in Germany. She achieved the habilitation in Computer Science at the Technische Universität Berlin in 2003. Her research interests are concerned with theoretical and practical problems of model-driven software development, including its formal foundation based on graph transformation and the development of supporting tools based on the Eclipse technology. Research results have been achieved in the context of national and international projects. In 2005, she got an Eclipse Innovation Award for her practical work. Current plugin developments run within incubation projects of the Eclipse Modeling Project.

She is steering committee member of the Automated Software Engineering Conference (ASE), the European Joint Conferences on Theory and Practice of Software (ETAPS) and the Int. Conference on Graph Transformation (ICGT). Moreover, she is editor of the open access journal Electronic Communications of the European Association of Software Science and Technology (ECEASST).

Contact person at the TU Vienna

Katja Hildebrandt: Tel. +43 1 588 01 – 188 04

Note

This talk is organized by the Business Informatics Group at the Institute of Software Technology and Interactive Systems. Supported by the project „fFORTE-WIT-Women in Technology“ and the Austrian Computer Society (OCG).