Reference : On Propagation-Based Concurrent Model Synchronization
Scientific journals : Article
Engineering, computing & technology : Computer science
On Propagation-Based Concurrent Model Synchronization
Orejas, Fernando [> >]
Boronat, Artur [> >]
Ehrig, Hartmut [> >]
Hermann, Frank mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Schölzel, Hanna [> >]
Electronic Communications of the EASST
European Association of Software Science and Technology
Proc. Int. Workshop on Bidirectional Transformations
Yes (verified by ORBilu)
[en] model transformation ; triple graph grammars
[en] 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.

File(s) associated to this reference

Fulltext file(s):

Limited access
2013-BX2013-manuscript-final.pdfAuthor preprint306.2 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.