Meta-Models & Model Transformations

Domain Specific Languages (DSLs) are becoming increasingly important for software development, because they allow domain experts to develop high quality software very efficiently. The abstract syntax of such languages is usually defined in a metamodel, to which constraints can be added in order to define the static semantics of a language. Most of our research in this area is based on the OMG standards MOF 2.0 and OCL. Moreover, we use model transformations to define the dynamic semantics of modeling languages. Both constraints and transformations are also used for static model analysis and repair.


The sophisticated packaging and association concepts of MOF 2.0 are essential for metamodeling-in-the-large and for model integration. Therefore, our metamodeling and model transformation approaches fit very well into environments where documents and models in several commercial-of-the-shelf-tools need to be analyzed and kept consistent with one another. Thus, our main project in this area of research, MOFLON, is very closely related to our language and tool integration approaches, as well as to a variety of other projects.

Current Projects

In development of software systems in general and embedded systems in specific, we encounter an increasing demand for extensions to existing tools as well as for integration frameworks that ensure consistency between data and documents distributed over several tools. The metamodeling tool MOFLON is, therefore, focused on tool extension and integration rather than on development of domain specific languages from scratch. MOFLON combines several standards such as
MOF 2.0, OCL and JMI with scientific approaches, such as story driven modeling (SDM) of on-model transformations or a combination of MOF QVT and triple graph grammars for model-to-model transformations and integration.

Research on MOF compliant metamodeling is performed in conjunction with and supported by SAP AG, who works on a MOF infrastructure to provide a consistent foundation and homogeneous environment for tool development.

PROGRES is a visual programming environment based on graph rewriting systems for rapid prototyping of graph manipulation tools. It is developed in a joint research project with the Department of Computer Science III, RWTH Aachen.


Dipl.-Ing. Elodie Legros

Dr.-Ing. Felix Klar

Dr. Ingo Weisemöller

Domänenspezifische Sprachen & Methoden

Sprach- & Werkzeugintegration

Modellgetriebene Softwareentwicklung

Modellbasiertes Testen & Softwareproduktlinien

Security Engineering


Related Publications


Technische Universität Darmstadt

Institut für Datentechnik

Fachgebiet Echtzeitsysteme

Prof. Dr. rer. nat. Andy Schürr

Geb. S3|06 (3. Stock, Raum 313)

Merckstr. 25

64283 Darmstadt

+49 6151 16-6940
+49 6151 16-6942

A A A | Drucken | Impressum | Sitemap | Suche | Kontakt
Zum SeitenanfangZum Seitenanfang