Formalization and Tool Support based on the Eclipse Modeling Framework and Henshin.
- Starts at
TU Wien, Campus Gußhaus
EI 10 Fritz Paschke-Hörsaal
1040 Vienna, Gußhausstraße 27-29
Stiege 1, Erdgeschoß, CAEG31
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.
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
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).
- Prof. Dr. Gabriele Taentzer, Philipps-Universität Marburg
Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!