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...
Context-sensitive Team Formation: Towards Model- Based Context Reasoning and Update (2009)
Hong Qing Yu, Yi Hong, Reiko Heckel, Stephan Reiff-marganiec
Abstract. Selection problems tend to have two aspects: one that is structural and one that is quantitative in nature. Here we investigate a method that allows decisions on both aspects. The paper...
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets ⋆ (2008)
P. Baldan, Behaviour-preserving Reconfigurations, Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, ...
Abstract. We propose a framework for the specification of behaviourpreserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of...
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets ⋆ (2008)
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
Abstract. We propose a framework for the specification of behaviourpreserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of...
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets (2008)
Baldan, Paolo, Corradini, Andrea, Ehrig, Hartmut, Heckel, Reiko, König, Barbara
We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary...
38 Flexible Interconnection of Graph Transformation Modules A Systematic Approach (2008)
Gregor Engels, Reiko Heckel, Alexey Cherchago
Abstract. Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connected with...
Model-based Testing of Service Infrastructure Components ⋆ (2008)
László Gönczy, Reiko Heckel, Dániel Varró
Abstract. We present a methodology for testing service infrastructure components described in a high-level (UML-like) language. The technique of graph transformation is used to precisely capture the...
Holger Giese, Tihamér Levendovszky, Holger Giese, Tihamér Levendovszky (eds, Holger Giese, Tihamér Levendovszky, ...
Michael von der Beeck
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...
Application of Graph Transformation for Automating Web Service Discovery ⋆ (2008)
Reiko Heckel, Alexey Cherchago
Abstract. The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. The...
Rule-based Model Extraction from Source Code (2008)
Rui Correia, Carlos Matos, Mohammad El-ramly, Reiko Heckel
Abstract. In the context of an approach for reengineering legacy software systems at the architectural level, we present in this paper a reverse engineering methodology that uses a model defined as a...
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks (2008)
Abstract. In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To formalise,...
ABSTRACT A Case Study on Service-Oriented Architectures (2008)
Modern architectural styles, like the service-oriented style underlying web services, are highly dynamic. This complicates not only their practical application, but also the modeling and prediction...
Component Integration Testing by Graph Transformations (2008)
Reiko Heckel, Leonardo Mariani
Component-based technology can increase reuse and productivity, but high-quality component-based systems are often difficult to implement. Component developers do not know the systems where the...
Automatic Integration of Safety Invariants into Z Specifications (Extended Abstract) (2007)
Reiko Heckel, Mirko Conrad, Gottfried Egger
Reiko Heckel 1 , Mirko Conrad 2 , Gottfried Egger 2 , and Jan-Juan Hiemer 2 1 Technical University Berlin, Computer Science Department, FR 6-1 Franklinstr. 28/29, D-10587 Berlin, Germany e-mail:...
1 Motivation Strengthening the Semantics of UML Collaboration Diagrams ⋆ (2007)
A serious weakness of the UML is the lack of appropriate means for specifying the semantics of operations in a class diagram and the interpretation of actions on a statechart diagram. As required in...
Ralph Depke, Reiko Heckel, Jochen Malte, K Üster
For the generic specification of protocols, goals, or workflows, many approaches to agentoriented modeling provide a concept of role. Roles abstract from the concrete agents involved in an...
Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig
Accepted (accepted date) The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a...
Abstract Towards Model-Driven Testing 1 (2007)
The OMG’s Model-Driven Architecture is a strategy towards interoperability across heterogeneous middleware platforms through the reuse of platform independent designs based on the distinction of,...
ABSTRACT A Case Study on Service-Oriented Architectures (2007)
Modern architectural styles, like the service-oriented style underlying web services, are highly dynamic. This complicates not only their practical application, but also the modeling and prediction...
ABSTRACT A Case Study on Service-Oriented Architectures (2007)
Modern architectural styles, like the service-oriented style underlying web services, are highly dynamic. This complicates not only their practical application, but also the modeling and prediction...
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is suitable for a given...
IOS Press Graph Transformation with Time: Causality and Logical Clocks (2007)
Szilvia Gyapay, Dániel Varró, Reiko Heckel
Abstract. Following TER nets, an approach to the modelling of time in high-level Petri nets, we propose a model of time within (attributed) graph transformation systems where logical clocks are...
Towards Graph Transformation with Time (2007)
Szilvia Gyapay I, Reiko Heckel
reikoupb. de Abstract. Following TER nets, an approach to the modelling of time in high-level Petri nets, we propose a model of time within (attributed) graph transformation systems where time stamps...
Andrea Corradini, Reiko Heckel, Ugo Montanari
In this paper we address the issue of providing a structured coalgebra presentation of transition systems with algebraic structure on states determined by an equational speci cation. More precisely,...
Andrea Corradini, Reiko Heckel
An algebra of graph derivations using nite (co{) limit double theories
Deploying Agents in an Electronic Banking Environment (2007)
Ralph Depke, Reiko Heckel, Jochen Malte Küster
In this paper, we report on the deployment of an agentbased extension to an electronic banking environment which has been developed in cooperation with a software company specializing in electronic...
Model-Based Verification and Validation of Properties Abstract (2007)
Gregor Engels, Jochen M. Küster, Reiko Heckel, Marc Lohmann
One of the key issues in software development, like in all engineering problems, is to ensure that the product delivered meets its specification. Verification and validation are well-established...
Behavior-Preserving Refinement Relations between Dynamic Software Architectures (2007)
Abstract. In this paper, we address the refinement of abstract architectural models into more platform-specific representations. For each level of abstraction, we employ an architectural style...
Architecture migration driven by code categorization (2007)
Correia, Rui, Matos, Carlos M.P., Heckel, Reiko, El-Ramly, Mohammad
This is the authors final draft of the version published as Lecture Notes in Computer Science, 4758, pp.115-122.The published online version can be accessed at...
Context-sensitive Team Formation: Towards Model-Based Context Reasoning and Update (2007)
Yu, Hong Qing, Hong, Yi, Heckel, Reiko, Reiff-Marganiec, Stephan
This is the author's final draft of a paper presented at 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings, Doctoral Consortium...
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...
Rule-based Model Extraction from Source Code (2007)
Correia, Rui, Matos, Carlos, El-Ramly, Mohammad, Heckel, Reiko
In the context of an approach for reengineering legacy soft- ware systems at the architectural level, we present in this paper a reverse engineering methodology that uses a model deïned as a...
Table of Contents Matching of Bigraphs (2006)
Arend Rensink, Reiko Heckel, Barbara König, Lars Birkedal, Troels Christoffer Damgaard, Arne John Glenstrup, ...
R.: Model-driven monitoring: An application of graph transformation for design by contract (2006)
Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel
Abstract. The model-driven development (MDD) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program...
Graph Transformation in a Nutshell (2006)
Even sophisticated techniques start out from simple ideas. Later, in reply to application needs or theoretical problems new concepts are introduced, often to a point where the original simple core is...
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...
Automatic Conformance Testing of Web Services (2005)
Reiko Heckel, Leonardo Mariani
Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition.
Automatic conformance testing of web services (2005)
Reiko Heckel, Leonardo Mariani
Abstract. Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. Dedicated discovery services will store both...
04101 Summary -- Language Engineering for Model-driven Software Development (2005)
This paper summarizes the objectives and structure of a seminar with the same title, held from February 29th to April 5th 2004 at Schloss Dagstuhl, Germany.
Application of Graph Transformation for Automating Web Service Discovery (2005)
Heckel, Reiko, Cherchago, Alexey
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. The approach is based...
Graph Transformation in a Nutshell (2005)
Even sophisticated techniques start out from simple ideas. Later, in reply to application needs or theoretical problems new concepts are introduced and new formalizations proposed, often to a point...
04101 Abstracts Collection -- Language Engineering for Model-Driven Software Development (2005)
From 29.02. to 05.03.04, the Dagstuhl Seminar 04101 ``Language Engineering for Model-Driven Software Development'' was held in the International Conference and Research Center (IBFI), Schloss...
Model-based discovery of Web Services (2004)
Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann
Web Services are software components that can be discovered and employed at runtime using the Internet. Conflicting requirements towards the nature of these services can be identified. From a...
Style-based refinement of dynamic software architectures (2004)
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró, Politecnico Di Milano
In this paper, we address the correct refinement of abstract architectural models into more platformspecific representations. We consider the challenging case of dynamic architectures which can...
Using XSLT Stylesheets to Transform XPath Queries (2004)
Stefan Böttcher, Reiko Heckel, Georg Birkenheuer
Abstract. Often, XML documents stored in an XML database must be transformed by an XSL processor into a client-specific format before queries are submitted. In applications where XML documents are...
Abstract When designing a mobile application, we have to be aware of the properties and facilities of the target platform. At a conceptual level, this platform can be specified by a style, defining...
Specification Matching of Web Services Using Conditional Graph Transformation Rules (2004)
Alexey Cherchago, Reiko Heckel
Abstract. The ability of applications to dynamically discover required services is a key problem for Web Services. However, this aspect is not adequately supported by current Web Services standards....
San Francisco, USA Workshop Materials Editors: (2003)
Ludwik Kuzniarz, Zbigniew Huzar, Gianna Reggio, Jean Louis Sourrouille, Miroslaw Staron, Zbigniew Huzar, ...
Towards a UML profile for service-oriented architectures (2003)
Reiko Heckel, Marc Lohmann, Sebastian Thöne
Application development naturally starts with functional requirements given by the business that shall be supported. The model capturing these requirements is then refined taking more and more...
Model-based development of web applications using graphical reaction rules (2003)
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances of this idea are...
Towards Automatic Selection of Web Services Using Graph Transformation Rules (2003)
Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann
The Web service architecture promises to be highly dynamic. The idea is that a service requester can discover a needed service at runtime. Due to the fact that this discovery process relies on a...
Towards Consistency of Web Service Architectures (2003)
Reiko Heckel, Hendrik Voigt, Jochen Küster, S. Thöne
Web services are self-descriptive software components which can automatically be discovered and engaged, together with other web components, to complete tasks over the Internet. The integration of...
Modeling and Validation of Service-Oriented Architectures: Application vs. Style (2003)
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Daniel Varro, Dániel Varró
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is suitable for a given...
(Politecnico di Milano) (2003)
Luciano Baresi, Reiko Heckel, Dániel Varró
www.upb.de/cs/ag-engels/ag_engl/People/Thoene/MRDSA/ 1
Consistency-preserving model evolution through transformations (2002)
Gregor Engels, Reiko Heckel, Jochenm. Küster, Luuk Groenewegen
Abstract. With model-based development being on the verge of becoming an industrial standard, the topic of research of statically checking the consistency of a model made up of several submodels has...
Graph transformation with time: Causality and logical clocks (2002)
Szilvia Gyapay, Reiko Heckel, Dániel Varró
Abstract. Following TER nets, an approach to the modelling of time in highlevel Petri nets, we propose a model of time within (attributed) graph transformation systems where logical clocks are...
Lightweight Modeling of Dynamic Websites using UML (2002)
Tim Schattkowsky, Marc Lohmann, Reiko Heckel
Development of small- or medium scale Web applications is usually performed by teams consisting of graphic designers responsible for the layout and software developers realizing the business logic....
Extended Model Relations with Graphical Consistency Conditions (2002)
Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer
Consistency of models and model transformations are strongly interrelated topics. It is thus desirable to have a single notation to express model properties concerning both aspects. When using meta...
Confluence of Typed Attributed Graph Transformation Systems (2002)
Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer
The issue of confluence is of major importance for the successful application of attributed graph transformation, such as automated translation of UML models into semantic domains. Whereas...
Jan Hendrik Hausmann, Reiko Heckel
In object-oriented software development, requirements of different stakeholders are often manifested in use case models which complement the static domain model by dynamic and functional...
Towards Automatic Translation of UML Models into Semantic Domains (2002)
Reiko Heckel, Jochen Küster, Gabriele Taentzer
The use of UML for software speci cation leads usually to lots of diagrams showing dierent aspects and components of the software system in several views. In order to support a view-oriented approach...
Formal Agent-Oriented Modeling with UML and Graph Transformation (2002)
Ralph Depke, Reiko Heckel, Jochen Malte Küster
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not account for these...
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams (2002)
Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer A
UML o#ers di#erent diagram types to model behavior and dynamics of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications...
Strengthening UML collaboration diagrams by state transformations (2001)
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying, in addition,...
Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer
The Unified Modeling Language (UML) still lacks a formal and commonly agreed specification of its semantics that also accounts for UML’s built-in semantic variation points and extension mechanisms....
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems (2001)
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
Abstract. The aim of this paper is an extension of the theory of graph transformation systems in order to make them suitable for the specification of reactive systems. For this purpose two main...
Rule-based Specification of Behavioral Consistency Based on the UML Meta-Model (2001)
Gregor Engels, Reiko Heckel, Jochen Malte Küster
this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML...
Use Cases as Views: A Formal Approach to Requirements Engineering in the Unified Process (2001)
Jan Hendrik Hausmann, Reiko Heckel
In Requirements Engineering structural and functional requirements for a new software system are gathered, analyzed, and manifested. Unfortunately the connection between these aspects gets lost in...
Improving the Agent-Oriented Modeling Process by Roles (2001)
Ralph Depke, Reiko Heckel, Jochen M. Küster
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, anddesign. The requirements are specified by descriptions of the...
Agent-oriented modeling with graph transformation (2000)
Ralph Depke, Reiko Heckel, Jochen Malte Küster
Abstract. The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-oriented modeling...
Strengthening the semantics of UML collaboration diagrams (2000)
Abstract. Collaboration diagrams are strengthened by interpreting collaborations as visual queries for specifying pre and postconditions of operations. The conceptual idea is formalized by means of...
UML - A Universal Modeling Language (2000)
Gregor Engels, Reiko Heckel, Stefan Sauer
Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to model structural and...
Formalizing the Development of Agent-Based Systems Using Graph Processes (2000)
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementation oriented design...
From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation (2000)
In order to define the semantics of diagram languages, new techniques may be developed following the established approaches of denotational, operational, or algebraic semantics of programming...
Graphical operational semantics (2000)
Andrea Corradini, Reiko Heckel, Ugo Montanari
We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the operational semantics of diagram languages.
From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation (2000)
In order to define the semantics of diagram languages, new techniques may be developed following the established approaches of denotational, operational, or algebraic semantics of programming...
Formalizing the Development of Agent-Based Systems Using Graph Processes (2000)
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementation oriented design...
Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer
Abstract. In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model...
Towards contract-based testing of web services (1999)
Web Services are composed by linking together service providers and requestors. To ensure interoperability, the requestor’s requirements for a service have to be matched against a service...
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting (1999)
Fabio Gadducci, Reiko Heckel, Mercé Llabrés
In this paper the concurrent semantics of double-pushout (DPO) graph rewriting, which is classically defined in terms of shift-equivalence classes of graph derivations, is axiomatised via the...
Tile Transition Systems as Structured Coalgebras (1999)
Andrea Corradini, Reiko Heckel, Ugo Montanari
. The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side effects which are endowed with...
Dynamic Meta Modelling: A Graphical Approach to Operational Semantics (1999)
Gregor Engels, Reiko Heckel, Stefan Sauer
The UML meta model [3] captures the abstract syntax...
Simple Modules for GRACE (1998)
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske
The language Grace is being proposed for specifying and programming in a graph-centered environment based on graph transformation. Emphasis in the design of Grace is laid on modular structuring of...
Classification and Comparison of Modularity Concepts for Graph Transformation Systems (1998)
Hartmut Ehrig, Gregor Engels, Reiko Heckel, Gabi Taentzer
This paper presents a systematic approach for classifying and comparing modularity concepts that have been proposed for graph transformation systems. The approach is based on the following...
Berlin, Techn. University, Diss., 1998.
A combined reference model- and view-based approach to system specification (1997)
Hartmut Ehrig, Reiko Heckel, Gabi Taentzer, Gregor Engels
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specification technique...
Integrating the specification techniques of graph transformation and temporal logic (1997)
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
Abstract. The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic semantics...
Combining Graph Transformations with Temporal Logic (Extended Abstract) (1997)
Fabio Gadducci, Reiko Heckel, Manuel Koch
this paper we aim at formally combining it with graph transformations, by developing an adequate, graph-based semantics for propositional temporal logic. Thus we will be able to express within the...
Reiko's Simple Modules for GRACE (1997)
Reiko Heckel, Berthold Hoffmann, Sabine Kuske
In this discussion paper for the Grace consortium, we propose a simple concept for modules in Grace that is based on a straightforward extension of transformation units. We define the notions of...
Loose Semantics and Constraints for Graph Transformation Systems (1997)
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
. The main aim of this paper is an extension of the theory of algebraic graph transformation systems by a loose semantics. For this purpose, graph transitions are introduced as a loose interpretation...
Horizontal and Vertical Structuring of Typed Graph Transformation Systems (1996)
Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe
this paper we concentrate on structuring and refinement concepts for graph transformation systems. Conceptually, we distinguish between two kinds of structuring. We speak of horizontal structuring if...
Embedding of Conditional Graph Transformations (1995)
Single pushout graph transformations at injective matches are extended by negative application conditions. It is shown, how right-sided application conditions can be transformed into equivalent...
Graph Grammars with Negative Application Conditions (1995)
Annegret Habel, Reiko Heckel, Gabriele Taentzer
In each graph-grammar approach it is defined how and under which conditions graph productions can be applied to a given graph in order to obtain a derived graph. The conditions under which...
Graph Grammars with Negative Application Conditions (1995)
Annegret Habel Reiko, Reiko Heckel, Gabriele Taentzer
In each graph-grammar approach it is defined how and under which conditions graph productions can be applied to a given graph in order to obtain a derived graph. The conditions under which...
Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach (1995)
Consistency conditions describe basic properties of graphs as e.g. the existence or uniqueness of certain elements. A graph grammar is consistent if the start graph satisfies the consistency...
A Compositional Approach to Structuring and Refinement of Typed Graph Grammars (1995)
Andrea Corradini, Reiko Heckel
Based on a categorical semantics that has been developed for typed graph grammars we uses colimits (pushouts) to model composition and (reverse) graph grammar morphisms to describe refinements of...