zur Erlangung des akademischen Grades Promotionsausschuß: (2008)
Vorgelegt Von, Aus Weimar, Vorsitzender Prof, Dr. H. Ehrig, Berichter Prof, ...
Neurowissenschaft sowie aus der computergestützten Bildverarbeitung stammen. Die dabei zur Lösung von Klassifikationsproblemen eingesetzten Kernalgorithmen erlauben auch die Behandlung komplexer...
Petri Net Transformations in the ≫Petri Net Baukasten ≪ ⋆ (2008)
Abstract. The purpose of this contribution is to give an overview of constructions and results for Petri net transformations in the ≫Petri Net Baukasten ≪ developed by the “DFG-Forschergruppe...
ABSTRACT Flexible Modeling of Emergency Scenarios using Reconfigurable Systems (2008)
K. Hoffmann, H. Ehrig, J. Padberg
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This means that...
Abstract FESCA 2005 Preliminary Version Object-Oriented Connector-Component Architectures (2008)
H. Ehrig, B. Braatz, M. Klein, F. Orejas, S. Pérez, E. Pino
This paper presents an important extension of our contribution to FESCA ’04, which presented a generic framework for connector architectures. These architectures were defined by components,...
Transformations of Petri Nets (2008)
H. Ehrig, K. Hoffmann, J. Padberg
The aim of this paper is an introduction to the area of Petri net transformations, a rule-based approach for dynamic changes of the net structure of Petri nets. This is especially important for the...
Interorganizational Workflow, J. Padberg, H. Ehrig, K. Hoffmann, Formale Modellierung, ...
Sample net modelling an interorganisational workflow cancel bookHotel acknowledge ready reserve payBill can ack bill payment ticket reserve acknowledged issueBill issueTicket canceled
Abstract. The specification language Spectrum [BFG (2007)
U. Wolter, K. Didrich, F. Cornelius, M. Klar, R. Wessaly, H. Ehrig
93] melts a wide range of concepts into a single language frame: three-valued first-order logic, polymorphism, type classes, higher-order functions, infinite objects. The desire of identifying and...
Abstract. The specification language Spectrum [BFG (2007)
U. Wolter, K. Didrich, F. Cornelius, M. Klar, R. Wessaly, H. Ehrig
93] melts a wide range of concepts into a single language frame: three-valued first-order logic, polymorphism, type classes, higher-order functions, infinite objects. The desire of identifying and...
On one hand visual techniques are important for specication, modelling and programming, in short visual computing, and on the other hand they can be used to support component technology, evolution...
Initial Realization of the "Petri Net Baukasten" (2007)
Petri Net Technology, A. Battke, A. Borusan, J. Dehnert, H. Ehrig
Petri Net Frames . . . . . . . . . . . . . . . . . . . . . . . . . . 35 3.4 Instantiations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 3.5 Transformations . . . . . . . . . ....
Compositional Semantics for Open Petri Nets (2007)
A. Corradini, H. Ehrig, R. Heckel, P. Baldan, P. Baldan
based on Deterministic Processes
Generic Description, Behavior and Animation of Visual Modeling Languages (2007)
R. Bardohl, H. Ehrig, C. Ermel
Visual modeling techniques including UML as well as graph and net based techniques are of growing interest for software system specification and development. The GenGEd approach developed at the...
Subapical bracketed L-systems (2007)
Przemyslaw Prusinkiewiczy, Lila Kariz, From J. Cuny, H. Ehrig, G. Engles, G. Rozenberg, ...
Grammars and their Application to Computer Science,
1999 Society for Design and Process Science Printed in the United States of America (2007)
J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, R. Heckel
We consider the area of train control systems like the European Train Control Systems (ETCS) where several different scenarios are considered and related software components must cooperate...
Universidade Federal do Rio Grande do Sul (2007)
Prof Dr, H. Ehrig, R. Heckel, M. Korff, A. Martini, B. Bardohl, ...
The overall aim of this project is to bridge the gap between formal specification techniques developed in research projects and semi--formal or informal specifications used in industrial practice....
B. Bardohl, R. Bardohl (msb, H. Ehrig, M. Korff, J. Padberg
The overall aim of this paper is a proposal how to bridge the gap between formal specification techniques developed in research projects and semi--formal or informal specifications used in industrial...
Semi--Formal Methods for Software Specification and Development (2007)
Prof Dr, H. Ehrig, Prof Dr. Gunzenhauser
The overall aim of this project is to bridge the gap between formal specification techniques developed in research projects and semi--formal or informal specifications used in industrial practice....
1 Tight and Loose Semantics for Transformation Systems (2007)
Abstract When defining the requirements of a system, specification units typically are partial or incomplete descriptions of a system component. In this context, providing a complete description of a...
Petri Net Technology Initial Realization of the Petri Net Baukasten (2007)
Petri Net Technology, A. Battke, A. Borusan, J. Dehnert, H. Ehrig, C. Ermel
b, M.Gajewsky b K. Homann b, B. Hohberg c, G. Juhs
Schröter, G., Braatz, B., Ehrig, H., Klein, M., Bengel, M.
The role of the viewpoint concept, known from software engineering, is of increasing importance for modeling in production automation. While most often only a syntactical consistency check is...
Informatik - Trendtechnologie in der Automatisierung (2004)
Der Beitrag postuliert die Entwicklung einer kostengünstigen und effizienten Erstellung skalier- und wartbarer Software für Ingenieuranwendungen, wie sie in modularen Agentensystemen umgesetzt...
Anwendung softwaretechnischer Komponentenkonzepte auf die Produktionsautomatisierung (2004)
Klein, M., Braatz, B., Ehrig, H., Schröter, G., Bengel, M.
Motivated by the wide acceptance of component based technologies in software development it is shown by example, how to apply component concepts for software engineering to modeling in the field of...
Visual Modelling and Validation of Distributed Systems Survey of Habilitation Thesis (2003)
Kumulierte Habilitation, Fakultät Iv, Elektrotechnik Und Informatik, Dr. Gabriele Taentzer, Lehrgebiet Informatik, Vorsitzender Prof, ...
Distributed system technologies are fast developing and the complexity of networked systems increases. For this reason the precise design of distributed systems is necessary, comprising all key...
B. Braatz, H. Ehrig, K. Hoffmann, J. Padberg, M. Urbasek
B. Braatz, H. Ehrig, K. Homann, J. Padberg, M. Urbasek Technical University Berlin, Germany Institute for Software Technology and Theoretical Computer Science fbbraatz, ehrig, hoffmann, padberg,...
Application of Graph Transformation Techniques to the Area of Petri Nets (2002)
B. Braatz, H. Ehrig, K. Hoffmann, J. Padberg
The main aim of this contribution is to give an overview concerning applications of graph transformation techniques to the area of Petri nets achieved by the team of TU Berlin within the APPLIGRAPH...
The Petri Net Baukasten: An Overview (2001)
Abstract This paper presents an overview of the Petri Net Baukasten developed by the \DFG-Forschergruppe Petrinetz-Technologie " in Berlin. The Petri Net Baukasten provides a unied...
Generic Description of Syntax, Behavior and Animation of Visual Models (2001)
R. Bardohl, C. Ermel, H. Ehrig
Visual modeling techniques including UML as well as graph and net based techniques are of growing interest...
Towards a Component Concept for Continuous Software Engineering (2000)
Mann, S., Borusan, A., Ehrig, H., Große-Rhode, M., Mackenthun, R., Sünbül, A., ...
This paper will sketch the preliminary ideas for the component concept which are to be proven and investigated further within the research project "Continuous Software Engineering: Continuous...
From Basic Views and Aspects to Integration of Specification Formalisms (2000)
H. Ehrig, J. Padberg, F. Orejas
this paper we distinguish between basic speci cation formalisms concerning mainly one view or aspect of a system, and integrated formalisms taking care of dierent views and aspects. We consider as...
Initial realization of the "Petri Net Baukasten" (1999)
Battke, A., Borusan, A., Dehnert, J., Ehrig, H., Ermel, C., Gajewsky, M., ...
H. Ehrig, F. Orejas, J. Padberg
The purpose of this paper is to discuss the relevance of formal specification techniques versus informal and semi-formal techniques and to propose classification aspects for the great variety of...
A View-Based Approach To System Modeling Based On Open Graph Transformation Systems (1999)
R. Heckel, G. Engels, H. Ehrig, G. Taentzer
this paper, we follow a constructive approach, where different views are automatically integrated. This means that two operations from different views are merged into one operation in the resulting...
Classification and comparison of module concepts for graph transformation systems (1999)
R. Heckel, G. Engels, H. Ehrig, G. Taentzer
In this chapter we use a three-level approach for analyzing module concepts for graph transformation systems. Based on the observation that module architectures consist of basic specifications like...
Applications of category theory to the area of algebraic specification in computer science (1998)
H. Ehrig, M. Groe--rhode, U. Wolter
Abstract. The paper summarizes the main concepts and paradigms of category theory and explores some of their applications to the area of algebraic specifications. In detail we discuss different...
H. Ehrig, R. Heckel, J. Padberg, G. Rozenberg
September 1998 Summary A general framework is presented for extending graph transformation and other rule-based formalisms in such a way that transformations with incomplete information can be...
Interoperability In Train Control Systems Specification Of Scenarios Using Open Nets (1998)
J. Padberg, L. Jansen, R. Heckel, H. Ehrig
We consider the area of train control systems like the European Train Control Systems ETCS where several different scenarios are considered and accordant software components must interoperate...
From Abstract Data Types to Algebraic Development Techniques: A Shift . . . (1998)
H. Ehrig, M. Gajewsky, U. Wolter
Data Types to Algebraic Development Techniques: A Shift of Paradigms H. Ehrig, M. Gajewsky, U. Wolter e-mail: fehrig, gajewsky, wolterg@cs.tu-berlin.de Technical University of Berlin Abstract. The...
Interoperability In Train Control Systems Specification Of Scenarios Using Open Nets (1998)
J. Padberg, L. Jansen, R. Heckel, H. Ehrig
We consider the area of train control systems like the European Train Control Systems ETCS where several different scenarios are considered and accordant software components must interoperate...
Horizontal and vertical structuring techniques for statecharts (1997)
Klar, M., Ehrig, H., Geisler, R., Padberg, J.
In this paper we present an algebraic approach to statecharts as they are used in the STATEMATE tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer and...
Action nets and abstract statecharts in the theory of high-level replacement systems (1997)
H. Ehrig, M. Gajewsky, J. Padberg
high-level-replacement systems, horizontal and vertical structuring Abstract. In software engineering one of the main issues is structuring. As well horizontal-- composing and decomposing a system--...
A Uniform Approach to Petri Nets (1997)
The new concept of parameterized net classes is introduced in order to allow a uniform presentation of different kinds of Petri net classes. By different actualizations of the net structure parameter...
Action Nets and Abstract Statecharts in the Theory of High-Level Replacement Systems (1997)
H. Ehrig, M. Gajewsky, J. Padberg
Statecharts in the Theory of High-Level Replacement Systems H. Ehrig, M. Gajewsky, J. Padberg email: fehrig, magda, padbergg@cs.tu-berlin.de Topics: Statecharts, Petri nets, transformation systems,...
A Uniform Approach to Petri Nets (1997)
The new concept of parameterized net classes is introduced in order to allow a uniform presentation of different kinds of Petri net classes. By different actualizations of the net structure parameter...
A Uniform Approach to Petri Nets (1997)
The new concept of parameterized net classes is introduced in order to allow a uniform presentation of different kinds of Petri net classes. By different actualizations of the net structure parameter...
M. Loewe, A. Corradini, A. Corradini, U. Montanari, U. Montanari, F. Rossi, ...
this paper have been developed within the ESPRIT Working Groups COMPUGRAPH (1989-1992) and COMPU61 C A B A+B in
Dynamic abstract data types based on algebraic graph transformations (1995)
Löwe, M., Ehrig, H., Orejas, F.
The concept of dynamic abstract data types was recently proposed by two of the authors as a dynamic extension of the well-known concept of abstract data types, motivated by several recent approaches...
Computing by Graph Transformation II (COMPUGRAPH II) (1995)
H. Ehrig, G. Taentzer (Eds.), G. Taentzer
This report gives an overview over the ongoing activities of the ESPRIT Basic Research Working Group "Computing by Graph Transformation" started on March 1st, 1989. Its second phase...
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development (1992)
Ehrig, H., Mahr, B., Classen, I., Orejas, F.
The intention of this part 1 of an overview paper on algebraic specifications is an informal introduction to formal methods for software development in general and to applications of algebraic...
Ehrig, H., Mahr, B., Orejas, F.
Part I of this paper concerning algebraic specifications is an informal introduction to formal methods for software development using algebraic techniques. The intention of this second part of the...