Ulrike Prange

Graphs (2008)

Ulrike Prange, Hartmut Ehrig, Graph Grammars, Graph Transformation

are a very natural way to explain complex situations on an intuitive level. are almost everywhere. Graph grammars and graph transformation allow to model the dynamics in graph descriptions. date back...

Confluence of Adhesive HLR Systems with Applications to Typed Attributed Graph Transformation Systems (2008)

Ulrike Prange

The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages. In this thesis we introduce adhesive high-level...

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems (2008)

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel

Abstract. Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to new...

Theorem and a (2008)

Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer

Abstract. The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no adequate...

Termination Criteria for DPO Transformations with Injective Matches, Graph Transformation for Verification and Concurrency, 2006 (to appear (2008)

Tihamér Levendovszky, Ulrike Prange, Hartmut Ehrig

Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integrated Computing...

Concurrency in Reconfigurable Place/Transition Systems: ∗ Independence of Net Transformations as well as Net Transformations and Token Firing (2008)

Hartmut Ehrig, Claudia Ermel, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, ...

Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to new requirements....

Graph Transformation in Adhesive HLR Categories (2008)

Ulrike Prange, Hartmut Ehrig

Abstract. In this paper we introduce the categorical framework for rule-based transformations of high-level structures, e.g. graphs, hypergraphs, typed and attributed graphs, Petri nets, etc. based...

Model Transformations should be Functors (2008)

Hartmut Ehrig, Don Batory, Oscar Diaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, ...

The concept of model transformations is of increasing importance in different areas of Computer Science, but up to now, there is a lack of common understanding concerning the mathematical and...

Algebraic High-Level Nets as Weak Adhesive HLR Categories (2007)

Ulrike Prange

Abstract. Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. They combine the...

Termination Analysis of Model Transformations by Petri Nets (2006)

Dániel Varró, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer

Abstract. Despite the increasing relevance of model transformation techniques in model-driven software development, research is mainly conducted to the specification and the automation of such...

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...

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...

Adhesive high-level replacement categories and systems (2004)

Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange

Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the well-known concept...

Adhesive high-level replacement categories and systems (2004)

Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange

Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the well-known concept...

A Glutamate Receptor-Interacting Protein homolog organizes muscle guidance in Drosophila (2004)

Swan, Laura E., Wichmann, Carolin, Prange, Ulrike, Schmid, Andreas, Schmidt, Manuela, Schwarz, Tobias, ...

During Drosophila embryogenesis, developing muscles extend growth-cone-like structures to navigate toward specific epidermal attachment sites. Here, we show that the homolog of Glutamate...

A Glutamate Receptor-Interacting Protein homolog organizes muscle guidance in Drosophila (2004)

Swan, Laura E., Wichmann, Carolin, Prange, Ulrike, Schmid, Andreas, Schmidt, Manuela, Schwarz, Tobias, ...

During Drosophila embryogenesis, developing muscles extend growth-cone–like structures to navigate toward specific epidermal attachment sites. Here, we show that the homolog of Glutamate...

A Glutamate Receptor-Interacting Protein homolog organizes muscle guidance in Drosophila (2004)

Swan, Laura E., Wichmann, Carolin, Prange, Ulrike, Schmid, Andreas, Schmidt, Manuela, Schwarz, Tobias, ...

During Drosophila embryogenesis, developing muscles extend growth-cone-like structures to navigate toward specific epidermal attachment sites. Here, we show that the homolog of Glutamate...

A Glutamate Receptor–Interacting Protein homolog organizes muscle guidance in Drosophila

Swan, Laura E., Wichmann, Carolin, Prange, Ulrike, Schmid, Andreas, Schmidt, Manuela, Schwarz, Tobias, ...

During Drosophila embryogenesis, developing muscles extend growth-cone–like structures to navigate toward specific epidermal attachment sites. Here, we show that the homolog of Glutamate...

A Glutamate Receptor–Interacting Protein homolog organizes muscle guidance in Drosophila

Swan, Laura E., Wichmann, Carolin, Prange, Ulrike, Schmid, Andreas, Schmidt, Manuela, Schwarz, Tobias, ...

During Drosophila embryogenesis, developing muscles extend growth-cone–like structures to navigate toward specific epidermal attachment sites. Here, we show that the homolog of Glutamate...

Complex interaction of Drosophila GRIP PDZ domains and Echinoid during muscle morphogenesis

Swan, Laura E, Schmidt, Manuela, Schwarz, Tobias, Ponimaskin, Evgeni, Prange, Ulrike, Boeckers, Tobias, ...

Glutamate receptor interacting protein (GRIP) homologues, initially characterized in synaptic glutamate receptor trafficking, consist of seven PDZ domains (PDZDs), whose conserved arrangement is of...