Correctness of Model Synchronization Based on Triple Graph Grammars

Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei

doi:10.1007/978-3-642-24485-8_49

Cited by 37 publications

(66 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other important work related to delta lenses has appeared in [22], [21], [19] and, relating delta lenses to triple graph grammars, [7].…”

Section: Related Workmentioning

confidence: 99%

Symmetric delta lenses and spans of asymmetric delta lenses.

Johnson¹,

Rosebrugh²

2017

JOT

View full text Add to dashboard Cite

Bidirectional Transformations provide mechanisms for maintaining synchronization between updatable data sources. Lenses are certain mathematically specified bidirectional transformations. As part of a project to unify the treatment of symmetric lenses (of various kinds) as equivalence classes of spans of asymmetric lenses (of corresponding kinds), we relate symmetric delta lenses with spans of asymmetric delta lenses. Because delta lenses are based on state spaces which are categories rather than sets, there is further structure that needs to be accounted for. One of the main findings in this paper is that the required equivalence relation among spans is compatible with, but coarser than, the one expected. The main result is an isomorphism of categories between a category whose morphisms are equivalence classes of symmetric delta lenses (here called fb-lenses) and the category of spans of delta lenses modulo the new equivalence.

show abstract

“…Other important work related to delta lenses has appeared in [22], [21], [19] and, relating delta lenses to triple graph grammars, [7].…”

Section: Related Workmentioning

confidence: 99%

Symmetric delta lenses and spans of asymmetric delta lenses.

Johnson¹,

Rosebrugh²

2017

JOT

View full text Add to dashboard Cite

show abstract

“…Synchronization tools are normally built on some underlying algebraic theory [28,53,40,5,2,41,30], and many such tools (the first five amongst those cited above) use algebraic theories based on state-based rather than delta-based operations. The state-based version of the propagation scenario in Fig.…”

Section: Bx: Delta-based Vs State-basedmentioning

confidence: 99%

End To End Development Engineering

Dumitriu¹

2014

Model-Driven Engineering of Information Systems

View full text Add to dashboard Cite

There is a hidden intrigue in the title. CT is one of the most abstract mathematical disciplines, sometimes nicknamed "abstract nonsense". MDE is a recent trend in software development, industrially supported by standards, tools, and the status of a new "silver bullet". Surprisingly, categorical patterns turn out to be directly applicable to mathematical modeling of structures appearing in everyday MDE practice. Model merging, transformation, synchronization, and other important model management scenarios can be seen as executions of categorical specifications.Moreover, the paper aims to elucidate a claim that relationships between CT and MDE are more complex and richer than is normally assumed for "applied mathematics". CT provides a toolbox of design patterns and structural principles of real practical value for MDE. We will present examples of how an elementary categorical arrangement of a model management scenario reveals deficiencies in the architecture of modern tools automating the scenario.

show abstract

“…Then this sequence of rules is applied to the current target model to give the result target model. By placing careful restrictions, it is possible to ensure that the process succeeds and gives a uniquely defined result [7]. Greenyer and Kindler [6] gave a translation from QVT Core to Triple Graph Grammars (TGGs), and informally discuss trying to extend the approach to QVT-R, although they do not provide a semantics for QVT-R.…”

Section: Related Workmentioning

confidence: 99%

Enforcing QVT-R with mu-Calculus and Games

Bradfield

Stevens

2013

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract. QVT-R is the standard Object Management Group bidirectional transformation language. In previous work, we gave a precise game-theoretic semantics for the checkonly semantics of QVT-R transformations, including the recursive invocation of relations which is allowed and used, but not defined, by the QVT standard. In this paper, we take up the problem of enforce semantics, where the standard attempts formality, but at crucial points lapses into English. We show that our previous semantics can be extended to enforce mode, giving a precise semantics taking the standard into account.

show abstract

Correctness of Model Synchronization Based on Triple Graph Grammars

Cited by 37 publications

References 16 publications

Symmetric delta lenses and spans of asymmetric delta lenses.

Symmetric delta lenses and spans of asymmetric delta lenses.

End To End Development Engineering

Enforcing QVT-R with mu-Calculus and Games

Contact Info

Product

Resources

About