5 research outputs found
Model Transformation of Model Fragments Using Borrowed Context: Extended Version
In this technical report we study the transformation of models in the context of algebraic graph transformation and triple graph grammars. The new contribution of the report is to define and analyze the transformation of model fragments in general and the propagtion of graph constraints in particular. With the borrowed context we developed a technique further to the model transformation with triple graph grammars. This allows a transformation of incomplete models which could not be transformed until now. Moreover, we defined under which conditions a graph constraint can be propagated with borrowed context transformations and the model properties are preserved. This is also analyzed in the case study using the modeling framework ABT-Reo
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories
Application conditions for rules and constraints for graphs are well-known in
the theory of graph transformation and have been extended already to M-adhesive
transformation systems. According to the literature we distinguish between two
kinds of satisfaction for constraints, called general and initial satisfaction
of constraints, where initial satisfaction is defined for constraints over an
initial object of the base category. Unfortunately, the standard definition of
general satisfaction is not compatible with negation in contrast to initial
satisfaction.
Based on the well-known restriction of objects along type morphisms, we study
in this paper restriction and amalgamation of application conditions and
constraints together with their solutions. In our main result, we show
compatibility of initial satisfaction for positive constraints with restriction
and amalgamation, while general satisfaction fails in general.
Our main result is based on the compatibility of composition via pushouts
with restriction, which is ensured by the horizontal van Kampen property in
addition to the vertical one that is generally satisfied in M-adhesive
categories.Comment: In Proceedings ACCAT 2012, arXiv:1208.430
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars: Long Version
Model transformations based on triple graph grammars (TGGs) have been applied in several practical case studies and they convince by their intuitive and descriptive way of specifying bidirectional model transformations. Moreover, fundamental properties have been extensively studied including syntactical correctness, completeness, termination and functional behaviour. But up to now, it is an open problem how domain specific properties that are valid for a source model can be preserved along model transformations such that the transformed properties are valid for the derived target model. In this paper, we analyse in the framework of TGGs how to propagate constraints from a source model to an integrated and target model such that, whenever the source model satisfies the source constraint also the integrated and target model satisfy the corresponding integrated and target constraint. In our main new results we show under which conditions this is possible. The case study shows how this result is successfully applied for the propagation of security constraints in enterprise modelling between business and IT models
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars
Model transformations based on triple graph grammars (TGGs) have been applied in several practical case studies and they convince by their intuitive and descriptive way of specifying bidirectional model transformations. Moreover, fundamental properties have been extensively studied including syntactical correctness, completeness, termination and functional behaviour.
But up to now, it is an open problem how domain specific properties that are valid for a source model can be preserved along model transformations such that the transformed properties are valid for the derived target model. In this paper, we analyse in the framework of TGGs how to propagate constraints from a source model to an integrated and target model such that, whenever the source model satisfies the source constraint also the integrated and target model satisfy the corresponding integrated and target constraint. In our main new results we show under which conditions this is possible. The case study shows how this result is successfully applied for the propagation of security constraints in enterprise modelling between business and IT models
On Propagation-Based Concurrent Model Synchronization
Model transformations based on triple graph grammars (TGGs) have been applied in several practical case studies and they convince by their intuitive and descriptive way of specifying bidirectional model transformations. Moreover, fundamental properties have been extensively studied including syntactical correctness, completeness, termination and functional behaviour. But up to now, it is an open problem how domain specific properties that are valid for a source model can be preserved along model transformations such that the transformed properties are valid for the derived target model. In this paper, we analyse in the framework of TGGs how to propagate constraints from a source model to an integrated and target model such that, whenever the source model satisfies the source constraint also the integrated and target model satisfy the corresponding integrated and target constraint. In our main new results we show under which conditions this is possible. The case study shows how this result is successfully applied for the propagation of security constraints in enterprise modelling between business and IT models