Graph and Model Transformation
General Framework and Applications
Page
%P
17 Result(s)
-
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
Transformation Systems with Incremental Negative Application Conditions
In several application areas, Graph Transformation Systems (GTSs) are equipped with Negative Application Conditions (NACs) that specify “forbidden contexts”, in which the rules shall not be applied. The extens...
-
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 ...
-
Article
Subobject Transformation Systems
Subobject transformation systems STS are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pushout (DPO) approach. They can be consid...
-
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...
