Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars-Reference-Cited by-同舟云学术

Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars

Published:2017 Issue: Volume: Page:35-50
ISSN:0302-9743
Container-title:Theory and Practice of Model Transformation
language:
Short-container-title:

Author:

Trollmann Frank,Albayrak Sahin

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-61473-1_3

Reference19 articles.

1. Lecture Notes in Computer Science;SM Becker,2004

2. Cicchetti, A., Di Ruscio, D., Romina, E., Alfonso, P.: Logical constraints for managing non-determinism in bidirectional model transformations. In: International Workshop on Model-Driven Engineering, Logic and Optimization: Friends or Foes? (MELO 2011) (2011)

3. Diskin, Z., Xiong, Y., Czarnecki, K.: From state - to delta-based bidirectional model transformations: the asymmetric case. J. Obj. Technol. 10(6), 1–25 (2011)

4. Lecture Notes in Computer Science;Z Diskin,2012

5. Diskin, Z., Eramo, R., Pierantonio, A., Czarnecki, K.: Incorporating uncertainty into bidirectional model transformations and their delta-lens formalization. In: Bx@ ETAPS, pp. 15–31 (2016)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A search-based and fault-tolerant approach to concurrent model synchronisation;Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering;2020-11-15

2. A precedence-driven approach for concurrent model synchronization scenarios using triple graph grammars;Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering;2020-11-15

3. Incremental Concurrent Model Synchronization using Triple Graph Grammars;Fundamental Approaches to Software Engineering;2020

4. Multiple model synchronization with multiary delta lenses with amendment andK-Putput;Formal Aspects of Computing;2019-11