Dynamic Software Architectures Verification using DynAlloy (2009)
Antonio Bucchiarone, Juan P. Galeotti, Claudia Ermel, Reiko Heckel, Juan De Lara, Tiziana Margaria, ...
Abstract: Graph Grammars have been often used for modeling dynamic changes in software architectures. In particular, we have previously characterized some classes of dynamicity in terms of particular...
2.1 Definition of EMF Model Transformations........................ 3 (2008)
Tu Berlin, Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler, Günter Kuhns, ...
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...
Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer
Summary. Behavior specification techniques like Petri nets provide a visual description of software and embedded systems as basis for behavior validation by simulation. Graph transformation systems...
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...
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...
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...
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....
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...
A Taste of Categorical Petri Nets (2007)
Claudia Ermel Alfio, Claudia Ermel, Claudia Ermel, Alfio Martini, Alfio Martini
This report aims at providing introductory concepts for a categorical approach for the study of Petri Nets. After motivating why a categorical approach for studying petri nets might be desirable, we...
A Taste of Categorical Petri Nets (2007)
Claudia Ermel Alfio, Claudia Ermel, Claudia Ermel, Alfio Martini, Alfio Martini
This report aims at providing introductory concepts for a categorical approach for the study of Petri Nets. After motivating why a categorical approach for studying petri nets might be desirable, we...
Expanding the Use of Structuring: Formal Justification for Working on Subnets (2007)
We here present a new method for algebraic highlevel nets with categorical structuring techniques. It allows deducing the structure of the composed net from the structure of its subnets with regard...
Abstract. We show in this paper how the formalism of Parameterized Net Classes is realized with the Petri Net Kernel. Parameterized Net Classes are an abstract notion of Petri nets using formal...
Speci cation and Implementation of Animation Views for Petri Nets (2007)
Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig
The Petri Net Kernel (PNK) of the Petri Net Baukasten is a tool infrastructure for editing, simulating and analyzing Petri nets of dierent net classes and for integration of other Petri net tools. A...
A Taste of Categorical Petri Nets (2007)
Claudia Ermel, Claudia Ermel, Alfio Martini, Alfio Martini
This report aims at providing introductory concepts for a categorical approach for the study of Petri Nets. After motivating why a categorical approach for studying petri nets might be desirable, we...
Implementation of Parameterized Petri Net Classes with the Petri Net Kernel (2007)
Abstract. This paper shows how the formalism of Parameterized Net Classes is realized with the Petri Net Kernel. Parameterized Net Classes are an abstract notion of Petri nets using formal parameters...
Verifying Model Transformations by Structural Correspondence (2007)
Anantha Narayanan, Gabor Karsai, Claudia Ermel, Reiko Heckel, Juan De Lara, Tiziana Margaria, ...
Abstract: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. We have...
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...
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation (2005)
Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl
Abstract. The “classical ” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This...
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...
Specification and Analysis Techniques for Visual Languages with GenGED (2002)
Roswitha Bardohl, Claudia Ermel, Ingo Weinhold, Tu Berlin
This article presents newest concepts of GenGED (short for Generation of Graphical Environments for Design)...
Roswitha Bardohl, Claudia Ermel, Julia Padberg
Specification techniques like Petri nets allow for the formal description and analysis of systems. Although tool support exists for many different Petri net classes and tasks, a domain-specific...
Transforming Specification Architectures by GenGED (2002)
Roswitha Bardohl, Claudia Ermel, Julia Padberg
This contribution concerns transformations of specification architectures which are diagrams of sub-specifications. The graph of a diagram presents the architecture: nodes correspond to...
Visual Specification and Parsing of a Statechart Variant using GENGED (2001)
Roswitha Bardohl, Claudia Ermel
In this paper we consider a simple kind of the statechart language which is supported by the CASE tool Rhapsody. This kind of statecharts is already modeled in [4] using
Transition Invariants in Algebraic HighLevel Nets (1999)
Transition invariants play an important role in the analysis of Petri nets. They determine cycles within a system. In this paper we present a categorical characterization of transition invariants in...
Transition Invariants in Algebraic HighLevel Nets (1999)
Transition invariants play an important role in the analysis of Petri nets. They determine cycles within a system. In this paper we present a categorical characterization of transition invariants in...
Transition Invariants in Algebraic HighLevel Nets (1999)
Transition invariants play an important role in the analysis of Petri nets. They determine cycles within a system. In this paper we present a categorical characterization of transition invariants in...
Transition Invariants in Algebraic High-Level Nets (1999)
Transition invariants play an important role in the analysis of Petri nets. They determine cycles within a system. In this paper we present a categorical characterization of transition invariants in...
Formalization of Variables in Algebraic High-Level Nets (1997)
The paper discusses different approaches to formalize the representation of variables in Algebraic High-Level nets (AHL nets). We compare the approaches formally with regard to certain quality...
Expanding the Use of Structuring Formal Justification for Working on Subnets (1997)
We here present a new method for algebraic high-level nets with categorical structuring techniques. It allows deducing the structure of the composed net from the structure of its subnets with regard...
Expanding the Use of Structuring Formal Justification for Working on Subnets (1997)
Claudia Ermel Maike, Claudia Ermel, Maike Gajewsky
We here present a new method for algebraic high-level nets with categorical structuring techniques. It allows deducing the structure of the composed net from the structure of its subnets with regard...
Claudia Ermel, Julia Padberg, Hartmut Ehrig
This paper is concerned with the application of a formal technique to software engineering. In this case study we have used rule-based refinement of algebraic high-level nets for the requirements...
Claudia Ermel, Julia Padberg, Hartmut Ehrig
This paper is concerned with the application of a formal technique to software engineering. In this case study we have used rule-based refinement of algebraic high-level nets for the requirements...