-
Chapter and Conference Paper
Sesqui-Pushout Rewriting
Sesqui-pushout (SqPO) rewriting—“sesqui” means “one and a half” in Latin—is a new algebraic approach to abstract rewriting in any category. SqPO rewriting is a deterministic and conservat...
-
Chapter and Conference Paper
Information Preserving Bidirectional Model Transformations
Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such as analysis, optimization, and code ge...
-
Chapter and Conference Paper
Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions
Graph transformation systems (gts) are suitable for modelling concurrent and distributed behaviour of systems and in particular of workflows. Analysis of the behaviour of these models is in general highly complex...
-
Chapter and Conference Paper
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rules for bidirectional model tran...
-
Chapter and Conference Paper
Security and Consistency of IT and Business Models at Credit Suisse Realized by Graph Constraints, Transformation and Integration Using Algebraic Graph Theory
This paper shows typical security and consistency challenges regarding the models of the business and the IT universe of the dynamic service-, process- and rule-based environment at Credit Suisse. It presents ...
-
Chapter and Conference Paper
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks
E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in a strict way. Hence, it is of main inte...
-
Chapter and Conference Paper
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?
This keynote paper presents results coming out of an ongoing research project between Credit Suisse Luxembourg and the University of Luxembourg. It presents an approach that shows good potential to address sec...
-
Chapter and Conference Paper
Incremental Service Composition Based on Partial Matching of Visual Contracts
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requester may be able to use demand support for finding and selecting ser...
-
Chapter and Conference Paper
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already crucial properties of model transformations ...
-
Chapter and Conference Paper
Correctness of Model Synchronization Based on Triple Graph Grammars
Triple graph grammars (TGGs) have been used successfully to analyze correctness and completeness of bidirectional model transformations, but a corresponding formal approach to model synchronization has been mi...
-
Chapter and Conference Paper
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case
A bidirectional transformation (BX) keeps a pair of interrelated models synchronized. Symmetric BXs are those for which neither model in the pair fully determines the other. We build two algebraic frameworks f...
-
Chapter and Conference Paper
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars
Triple graph grammars (TGGs) have been used successfully to analyse correctness of bidirectional model transformations. Recently, also a corresponding formal approach to model synchronization has been presente...
-
Chapter and Conference Paper
Parallelism and Concurrency of Stochastic Graph Transformations
Graph transformation systems (GTS) have been proposed for high-level stochastic modelling of dynamic systems and networks. The resulting systems can be described as semi-Markov processes with graphs as states ...
-
Chapter and Conference Paper
On an Automated Translation of Satellite Procedures Using Triple Graph Grammars
Model transformation based on triple graph grammars (TGGs) is a general, intuitive and formally well defined technique for the translation of models [5,6,2]. While previous concepts and case studies were focus...
-
Chapter and Conference Paper
Triple Graph Grammars in the Large for Translating Satellite Procedures
Software translation is a challenging task. Several requirements are important – including automation of the execution, maintainability of the translation patterns, and, most importantly, reliability concernin...