Graph and Model Transformation
General Framework and Applications
Page
%P
21 Result(s)
within
Frank Hermann
Software Engineering/Programming and Operating Systems
-
Article
Model synchronization based on triple graph grammars: correctness, completeness and invertibility
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...
-
Book
-
Chapter
General Introduction
In this general introduction we give a general overview of graph and model transformation and a short overview of the parts and chapters of this book. The main questions are the following:
- ...
-
Chapter
Modelling and Static Analysis of Self-adaptive Systems by Graph Transformation
Software systems nowadays require continuous operation despite changes both in user needs and in their operational environments. Self-adaptive systems are typically instrumented with tools to autonomously perf...
-
Chapter
Graph Transformation
In this chapter, we introduce graphs and graph transformation. In Sect. 2.1, we define graphs, typed graphs, and typed attributed graphs with their corresponding morphisms. Transformations of these graphs are ...
-
Chapter
Tool Support
The more graph transformations are applied in various application domains, the more tools supporting modelling, simulation and analysis of graph transformation system become crucial for the promotion of graph ...
-
Chapter
Adhesive and \(\mathcal{M}\) -Adhesive Categories
In this chapter, we introduce adhesive and \(\mathcal{M}\) -adhesive categories as the categorical foundation of gra...
-
Chapter
Multi-amalgamated Transformations
In this chapter, we introduce amalgamated transformations. An amalgamated rule is based on a kernel rule, which defines a fixed part of the match, and multi rules, which extend this fixed match. From a kernel ...
-
Chapter
Analysis of Model Transformations
Model transformations based on TGGs as presented in Chap. 7 provide an excellent framework for analysing and verifying a major part of the properties that ma...
-
Chapter
Enterprise Modelling and Model Integration
The aim of enterprise modelling is to support and improve the design, documentation, analysis and administration of business objects and operations based on adequate modelling techniques [FG98, SAB98]. For thi...
-
Chapter
Model Transformation
This chapter is an introduction to model transformation, which is a key component of model-driven development. Sect. 3.1 describes the relevance and concepts of model transformations in general. Using the noti...
-
Chapter
\(\mathcal{M}\) -Adhesive Transformation Systems
In this chapter, we introduce \(\mathcal{M}\) -adhesive transformation systems based on the
-
Chapter
Model Transformation and Model Integration
In this chapter, we describe the formal framework for model transformation and model integration based on triple graph grammars. For this purpose, we use triple graph transformation systems as introduced in Ch...
-
Chapter
Model Synchronisation
Bidirectional model transformations are a key concept for model generation and synchronisation within model-driven engineering (MDE, see [Ste10, QVT15, CFH+09]). Triple graph grammars (TGGs) have been successfull...
-
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
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
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
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
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...
