The Use of Executable FIT Tables to support Maintenance and Evolution Tasks (2009)
Marco Torchiano, Massimiliano Di Penta, Mariano Ceccato, Paolo Tonella, Tiziana Margaria, Julia Padberg, ...
Proceedings of the Third International ERCIM Symposium on
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...
Event Structure Semantics for Dynamic Graph Grammars (2009)
Roberto Bruni, Hernán Melgratti, Ugo Montanari, Paolo Baldan, Hartmut Ehrig, Julia Padberg, ...
Abstract: Dynamic graph grammars (DGGs) are a reflexive extension of Graph Grammars that have been introduced to represent mobile reflexive systems and calculi at a convenient level of abstraction....
Reversing graph transformations 2 (2008)
Paweł Sobociński, Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg, Tiziana Margaria, ...
a general framework for backtracking in concurrent formalisms, thus allowing modelling of situations where deadlock can arise without the necessity of explicitly encoding the often involved...
This paper introduces safety properties in the temporal logic sense (as defined in (Manna and Pnueli, 1995)) to Petri net modules. Petri net modules (Padberg, 2001; Padberg, 2002) have been achieved...
Abstract Petri Net Modules in the Transformation-Based Component Framework (2008)
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two authors in previous...
ELECTRONIC COMMUNICATIONS OF THE EASST Termination of Algebraic Rewriting with Inhibitors (2008)
Paolo Bottoni, Kathrin Hoffmann, Tiziana Margaria, Julia Padberg, Gabriele Taentzer, Paolo Bottoni, ...
Abstract. We proceed with the study of termination properties in the double pushout approach to algebraic rewriting, and show a concrete termination criterion for rewriting systems with inhibitors....
Towards Component Verification in the Generic Component Framework (2008)
Julia Padberg, Hartmut Ehrig, Fernando Orejas
The intention of this paper is to extend the generic component framework presented at FASE 2002 [EOB + 02] to allow component verification based on export-import implications. In the generic...
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...
Loose Semantics of Petri Nets (2008)
Fakultät Iv, Julia Padberg, Hans-jörg Kreowski, Linzer Straße A
Abstract In this paper, we propose a new loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantics of a...
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...
THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2008)
www.elsevier.com/locate/jlap Petri net modules in the transformation-based component framework
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns (2008)
Ocl For (meta-)models, Juan Martin Chiaradía, Claudia Pons, Dan Chiorean, Birgit Demuth, Martin Gogolla, ...
Abstract. OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important for OCL to have a solid formal...
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....
ELECTRONIC COMMUNICATIONS OF THE EASST (2008)
Tiago Massoni, Rohit Gheyi, Paulo Borba, Tiziana Margaria, Julia Padberg, Gabriele Taentzer, ...
Abstract. Refactoring tools include checking of an object-oriented program for the fulfillment of preconditions, for ensuring correctness. However, program invariants – semantic information about...
Semantic Issues of OCL: Past, Present, and Future (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Dan Chiorean, Birgit Demuth, ...
Abstract: We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized,...
Event Structure Semantics for Dynamic Graph Grammars (2008)
Roberto Bruni, Hernán Melgratti, Ugo Montanari, Paolo Baldan, Hartmut Ehrig, Julia Padberg, ...
Abstract: Dynamic graph grammars (DGGs) are a reflexive extension of Graph Grammars that have been introduced to represent mobile reflexive systems and calculi at a convenient level of abstraction....
An MDA Framework Supporting OCL (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Tiziana Margaria, Julia Padberg, ...
Abstract: We present a model-driven architecture (MDA) framework that integrates formal analysis techniques into an industrial software development process model. This comprises modeling using...
Derek Rayside, Felix Chang, Greg Dennis, Robert Seater, Daniel Jackson, Andrew Fish, ...
The Alloy Analyzer is a software design tool that generates examples of system states and executions from logic models and displays those examples graphically with a visualization facility. Although...
Semantic Issues of OCL: Past, Present, and Future (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Dan Chiorean, Birgit Demuth, ...
Abstract: We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized,...
An MDA Framework Supporting OCL (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Tiziana Margaria, Julia Padberg, ...
Abstract: We present a model-driven architecture (MDA) framework that integrates formal analysis techniques into an industrial software development process model. This comprises modeling using...
Theoretical Computer Science/Formal Specification Group (2007)
Herbert Weber, Asuman Sunbul, Julia Padberg
The process centered paradigm changed the way of today's business organizations. Both the organizational structure and the IT-infrastructure are effected by this paradigm shift. For companies,...
Abstract: Here we present a new module concept for Petri nets that is based on the component concepts of Continuous Software Engineering (CSE). According to that concept two distinguished interfaces...
Rule-Based Renement for Place/Transition Systems: Preserving Liveness-Properties (2007)
Maike Gajewsky, Julia Padberg, M. Gajewsky, J. Padberg
, M. Urbasek 2 1 Technische Universitat Berlin, Institut fur Softwaretechnik und Theoretische Informatik,
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...
Model-driven constraint engineering (2006)
Tiziana Margaria, Julia Padberg, Gabriele Taentzer, Michael Wahler, Michael Wahler, Jana Koehler, ...
Abstract: Precise specification of meta-models is an important prerequisite for the successful application of a model-driven engineering (MDE) process. One means of precise specification are textual...
ELECTRONIC COMMUNICATIONS OF THE EASST Parsing of Adaptive Star Grammars (2006)
Mark Minas, Gabor Karsai, Gabriele Taentzer, Tiziana Margaria, Julia Padberg, Gabriele Taentzer, ...
Abstract. In a recent paper, adaptive star grammars have been proposed as an extension of node and hyperedge replacement grammars [4]. A rule in an adaptive star grammar is actually a rule schema...
THE EASST NEWSLETTER Contents (2006)
Homepage Of Easst, Dr. Julia Padberg
EASST Newsletter is distributed among the members of EASST, the
THE EASST NEWSLETTER Contents (2006)
Prof Susanne Graf, Homepage Of Easst, Dr. Julia Padberg
EASST Newsletter is distributed among the members of EASST, the
THE EASST NEWSLETTER EASST Board: (2004)
Etaps Organizer, Dr. Julia Padberg (secretary, Prof Dr, Dr. Michel Wermelinger (column, Prof Susanne Graf, ...
EASST NEWSLETTER is distributed among the members of EASST, the European
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...
THE EASST NEWSLETTER EASST Board: (2004)
Dr. Tiziana Margaria (president, Etaps Organizer, Dr. Julia Padberg (secretary, Prof Dr, Dr. Michel Wermelinger (column, ...
EASST NEWSLETTER is distributed among the members of EASST, the European
Petri Net Modules in the Transformation-Based Component Framework (2003)
Julia Padberg, Hartmut Ehrig, Fachbereich Mathematik/informatik
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two authors in previous...
Case Study: Modelling Telecom Services with Petri Net Modules (2003)
Case studies are frequently used as a means for testing new formalisms and modeling techniques in non-trivial environments. In this case study we use Petri net modules for structuring the operational...
THE EASST NEWSLETTER EASST Board: (2002)
Etaps Organizer, Dr. Julia Padberg (secretary, Prof Dr, Dr. Michel Wermelinger, Homepage Of Easst, ...
EASST NEWSLETTER is distributed among the members of EASST, the European
Petri Net Based Components for Evolvable Architectures (2002)
Julia Padberg, Hartmut Ehrig, Herbert Weber, Asuman Sünbül
this paper are components of business processes in terms of net components and their composition in this approach. We use net components that are based on Petri nets. The nets are restricted FUNSOFT...
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...
Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg
Starting from the algebraic view of Petri nets as monoids (as advocated by Meseguer and Montanari in [MM90]) we present the marking graphs of place transition nets as free monoid graphs and the...
Place/Transition Net Modules: Transfer from Specification Modules (2001)
Here we present a new module concept for place/transition nets that is based on the component concepts of Continuous Software Engineering (CSE). Place/transition net modules consist of three nets,...
Classification of Petri Nets Using Adjoint Functors (2001)
this paper we extend this framework. This extension is independent of the description of the data type part. Hence it suffices to consider merely low-level Petri nets like different kinds of...
Parameterized Net Classes: A Uniform Approach to Petri Net Classes (2001)
The concept of parameterized net classes is introduced in order to allow a uniform approach to dierent kinds of Petri net classes.
Asuman Sünbül, Herbert Weber, Julia Padberg
this paper, we therefore propose to use an evolutionary strategy for the development of business process based applications. In our approach, each modification request caused by a change of the...
Safety Preserving Transformations of Coloured Petri Nets (2000)
Julia Padberg, Julia Padberg, Maike Gajewsky, Maike Gajewsky
Abstract. In this paper a formal technique for refining Coloured Petri Nets within the software development process is introduced. This technique--- called rule-based refinement--- is based on rules...
Petri Net Based Components for Evolvable Architectures (2000)
Julia Padberg, Herbert Weber, Asuman Sunbul
Evolvable architectures are an important design principle in order to cope with the continuously changing requirements for information systems. These changes are induced by changes of the market,...
Herbert Weber, Asuman Sünbül, Asuman Sunbul, Julia Padberg
The process centered paradigm changed the way of today's business organizations. Both the organizational structure and the IT-infrastructure are effected by this paradigm shift. For companies,...
Petri Net Based Components for Evolvable Architectures (2000)
Julia Padberg, Herbert Weber, Asuman Sunbul
Evolvable architectures are an important design principle in order to cope with the continuously changing requirements for workflow management systems (WMS). These changes are induced by changes of...
Modeling Train Control Systems: From Message Sequence Charts to Petri Nets (2000)
Julia Padberg, Olaf Kluge, Dr. Julia Padberg, Prof Dr, Hartmut Ehrig
Message Sequence Charts (MSC) are well-known to be suitable to model scenarios in communication based systems. Scenarios using MSCs and Life Sequence Charts (LSC) have been presented already for the...
Incremental Development of Safety Properties in Petri Net Transformations (1999)
Julia Padberg, Maike Gajewsky, Kathrin Hoffmann
The application of the general theory of high-level replacement systems has proven to be most rewarding in many different areas, especially in Petri nets [EGPP99]. In this paper the extension of...
Incremental Development of Safety Properties in Petri Net Transformations (1999)
Julia Padberg Maike, Julia Padberg, Maike Gajewsky, Kathrin Hoffmann
. The application of the general theory of high-level replacement systems has proven to be most rewarding in many different areas, especially in Petri nets [EGPP99]. In this paper the extension of...
Julia Padberg Technical, Julia Padberg
Based on the well-known theory of high-level replacement systems -- a categorical formulation of graph grammars -- we present new results concerning refinement of high-level replacement systems....
Based on the well-known theory of high-level replacement systems -- a categorical formulation of graph grammars -- we present new results concerning refinement of high-level replacement systems....
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...
Hartmut Ehrig, Maike Gajewsky, Sabine Lembke, Julia Padberg
Topics: High-level net model, structuring techniques, application to workflow management, technology transfer The housing management system project WIS of the company LION is one of the most...
Horizontal and Vertical Structuring Techniques for Statecharts (1997)
Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
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...
Quality of Communication-Based Systems" Proc. of an Int. Workshop, (1997)
Http Tfs Cs, Julia Padberg, Tu Berlin
Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes Julia Padberg TU Berlin Abstract. Using the recently introduced extension of algebraic specifications, called dynamic...
Formalization of Variables in Algebraic High-Level Nets: Comparison of Different Approaches (1997)
Claudia Ermel Julia, Julia Padberg
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...
Introduction to Universal Parameterized Net Classes (1997)
The new concept of universal parameterized net classes is introduced in order to allow a uniform approach to different kinds of Petri net classes. By different actualizations of the net structure...
Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications (1997)
Hartmut Ehrig Maike, Lindsay Groves, Steve Reeves, Hartmut Ehrig, Maike Gajewsky, Sabine Lembke, ...
. The housing management system project WIS of the company LION is one of the most successful practical applications of Petri net technology in the area of cooperating and distributed business...
Horizontal and Vertical Structuring Techniques for Statecharts (1997)
Hartmut Ehrig Robert, Robert Geisler, Marcus Klar, Julia Padberg
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...
Horizontal and Vertical Structuring Techniques for Statecharts (1997)
Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
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...
Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications (1997)
Hartmut Ehrig, Maike Gajewsky, Sabine Lembke, Julia Padberg, Volker Gruhn
. The housing management system project WIS of the company LION is one of the most successful practical applications of Petri net technology in the area of cooperating and distributed business...
Abstract Petrinets :--uniform approach and rule-based refinement /--Julia Padberg. (1996)
"D 83 (Diss. TU Berlin)"
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...
An Outline of Rule-Based Refinement for Petri Nets (1996)
Julia Padberg Technical, Julia Padberg
The concept of refinement is a well-known technique within software engineering in general and for stepwise development of Petri nets in particular. In fact, several different concepts for the...
An Outline of Rule-Based Refinement for Petri Nets (1996)
The concept of refinement is a well-known technique within software engineering in general and for stepwise development of Petri nets in particular. In fact, several different concepts for the...
Survey of High-Level Replacement Systems (1993)
Julia Padberg, Fachgebiet Theoretische
High-Level Replacement (HLR) Systems have been studied as a generalization of graph grammars and transformation systems to other high-level structures. This paper presents a survey of results in...
Tiziana Margaria, Julia Padberg, Gabriele Taentzer
n pages, 2006 Guest editors: someone and her friends
Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications
Hartmut Ehrig, Maike Gajewsky, Sabine Lembke, Julia Padberg, Volker Gruhn
The housing management system project WIS of the company LION is one of the most successful practical applications of Petri net technology in the area of cooperating and distributed business process...