Karsten Ehrig

A query language with the star operator (2009)

Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres, Karsten Ehrig, Holger Giese, Johan Lindqvist, ...

Abstract: Model pattern matching is an important operation in model transformation and therefore in model-driven development tools. In this paper we present a pattern based approach that includes a...

Generating Instance Models from Meta Models. (2008)

Ehrig, Karsten, Küster, Jochen M., Taentzer, Gabriele

This is the author’s final draft of the paper published as Software and Systems Modeling, 2008, Online First. The original publication is available at www.springerlink.com, Doi:...

Molecular Analysis of Metabolic Pathway with Graph Transformation (2008)

Karsten Ehrig, Reiko Heckel, Georgios Lajios

Abstract. Metabolic pathway analysis is one of the tools used in biology and medicine in order to understand reaction cycles in living cells. A shortcoming of the approach, however, is that reactions...

PNGT’04 Preliminary Version View Transformation in Visual Environments applied to Algebraic High-Level Nets Abstract (2008)

Claudia Ermel, Karsten Ehrig

Graph transformation systems are a well-founded and adequate technique to describe the syntax of visual modeling languages and to formalize their semantics. Moreover, graph transformation tools...

Ensuring Containment Constraints in Graph-based Model Transformation Approaches Abstract: (2008)

Christian Köhler, Holger Lewin, Gabriele Taentzer, Karsten Ehrig, Holger Giese, Tiziana Margaria, ...

Within model driven software development, model transformation has become a key activity. A number of transformation approaches for metamodel-defined modeling languages have been developed in the...

ABSTRACT Generation of Visual Editors as Eclipse Plug-Ins (2008)

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer

Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual languages are used for the...

ELECTRONIC COMMUNICATIONS OF THE EASST EMF Model Refactoring based on Graph Transformation Concepts (2008)

Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss

Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven software development...

ELECTRONIC COMMUNICATIONS OF THE EASST Object Oriented and Rule-based Design of Visual Languages using Tiger (2008)

Claudia Ermel, Karsten Ehrig, Gabriele Taentzer, Eduard Weiss, Claudia Ermel, Karsten Ehrig, ...

Abstract. In this paper we present the state-of-the-art of the TIGER environment for the generation of visual editor plug-ins in Eclipse, with the focus on its Designer component, a visual...

Generating instance models from meta models (2006)

Karsten Ehrig, Jochen M. Küster, Gabriele Taentzer

Abstract. Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the meta...

E.: Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework (2006)

Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss

Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Although EMF provides basic operations for...

Verification of model transformations: A case study with BPEL (2006)

Luciano Baresi, Karsten Ehrig, Reiko Heckel

Abstract. Model transformations, like refinement or refactoring, have to respect the semantics of the models transformed. In the case of behavioural models this semantics can be specified by...

Termination Criteria for Model Transformation (2006)

Ehrig, Hartmut, Ehrig, Karsten, Taentzer, Gabriele, De Lara, Juan, Varró, Dániel, Varró-Gyapai, Szilvia

Nowadays the usage of model transformations in software engineering has become widespread. Considering current trends in software development such as model driven development (MDD), there is an...

Attributed graph transformation with node type inheritance (2005)

Juan Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer, ...

The aim of this paper is to integrate typed attributed graph transformation with node type inheritance. Borrowing concepts from object oriented systems, the main idea is to enrich the attributed type...

Termination criteria for model transformation (2005)

Hartmut Ehrig, Karsten Ehrig, Juan De Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-gyapay

Abstract. Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by its...

Towards Model Transformation in Generated Eclipse Editor Plug-Ins (2005)

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen

With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verification in the...

Termination criteria for model transformation (2005)

Hartmut Ehrig, Karsten Ehrig, Juan De Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-gyapay

Abstract. Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by its...

Attributed Graph Transformation with Node Type Inheritance: Long Version (2005)

Juan De Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer, ...

The aim of this technical report is to integrate typed attributed graph transformation with node type inheritance. Borrowing concepts from object oriented systems, the main idea is to enrich the...

S.: Model Transformations by Graph Transformations: A Comparative Study (2005)

Gabriele Taentzer, Karsten Ehrig, Esther Guerra, Juan De Lara, Tihamer Levendovszky, Ulrike Prange, ...

Abstract. Graph transformation has been widely used for expressing model transformations. Especially transformations of visual models can be naturally formulated by graph transformations, since...

Towards Graph Transformation based Generation of Visual Editors using Eclipse. Visual Languages and Formal Methods (VLFM (2004)

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer

This work discusses the state-of-the-art of visual editor generation based on graph transformation concepts on one hand, and using the Eclipse technology which includes the Graphical Editor Framework...