Towards automatic model synchronization from model transformations

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 164-173

  Xiong, Yingfei ^a,b   Liu, Dongxi ^a   Hu, Zhenjiang ^a   Zhao, Haiyan ^b   Takeichi, Masato ^a   Mei, Hong ^b  

^a UNIVERSITY OF TOKYO   (Japan)

^b Peking University   (China)

Author keywords

ATL; MDA; model synchronization; model transformation

Indexed keywords

ATLAS TRANSFORMATION LANGUAGES; AUTOMATIC MODELS; META MODEL; MODEL SYNCHRONIZATION; MODEL TRANSFORMATION; MODEL TRANSFORMATION TECHNIQUE; OPEN PROBLEMS; SOFTWARE ARTIFACTS; SOFTWARE DEVELOPMENT; SOURCE MODELS; TARGET MODEL;

COMPUTER SOFTWARE; SOFTWARE DESIGN; STANDARDIZATION; SYNCHRONIZATION; WAVELET TRANSFORMS;

METADATA;

EID: 54249158594     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321657     Document Type: Conference Paper

References (25)

1. The ATL web site. http://www.eclipse.org/m2m/atl/.
2. The model synchronization tool website. http://www.ipl.t.u-tokyo.ac.jp/ ~xiong/modelSynchronization.html.
3. M. Abi-Antoun, J. Aldrich, N. Nahas, B. Schmerl, and D. Garlan. Differencing and merging of architectural views. In ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering, pages 47-58. IEEE Computer Society, 2006.
4. D. H. Akehurst and S. Kent. A relational approach to defining transformations in a metamodel. In UML '02: Proceedings of the 5th International Conference on The Unified Modeling Language, pages 243-258. Springer-Verlag, 2002.
5. M. Antkiewicz and K. Czarnecki. Framework-specific modeling languages with round-trip engineering. In MoDELS 2006: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems, pages 692-706. Springer-Verlag, 2006.
6. B. K. Appukuttan, T. Clark, A. Evans, G. Maskeri, S. Reddy, P. Sammut, L. Tratt, R. Venkatesh, and J. S. Willans. QVT-Partners revised submission to QVT RFP. http://www.omg.org/docs/ad/03-08-08.pdf, 2003.
7. F. Bancilhon and N. Spyratos. Update semantics of relational views. ACM Trans. Database Syst., 6(4):557-575, 1981.
8. P. Bottoni, F. Parisi-Presicce, S. Pulcini, and G. Taentzer. Maintaining coherence between models with distributed rules: from theory to Eclipse. In GT-VMT '06: Proceedings of International Workshop on Graph Transformation and Visual Modeling Techniques. Elsevier Science, 2006.
9. Compuware Corporation and SUN Microsystems. XMOF queries, views and transformations on models using MOF, OCL and patterns. http://www.omg.org/docs/ ad/03-08-07.pdf, 2003.
10. K. Czarnecki and S. Helsen. Classification of model transformation approaches. In Workshop on Generative Techniques in the Context of Model-Driven Architecture, 2003.
11. A. Finkelstein, D. M. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multi-perspective specifications. In ESEC '93: Proceedings of the 4th European Software Engineering Conference on Software Engineering, pages 84-99, London, UK, 1993. Springer-Verlag.
12. J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt. Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In POPL '05: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 233-246, 2005.
13. H. Giese and R. Wagner. Incremental model synchronization with triple graph grammars. In Models '06: Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems, pages 543-557, 2006.
14. J. Grundy, J. Hosking, and W. B. Mugridge. Inconsistency management for multiple-view software development environments. IEEE Trans. Softw. Eng., 24(11):960-981, 1998.
15. I. Ivkovic and K. Kontogiannis. Tracing evolution changes of software artifacts through model synchronization. In ICSM '04: Proceedings of the 20th IEEE International Conference on Software Maintenance, pages 252-261, 2004.
16. S. Johann and A. Egyed. Instant and incremental transformation of models. In ASE '04: Proceedings of the 19th IEEE international conference on Automated software engineering, pages 362-365. IEEE Computer Society, 2004.
17. F. Jouault and I. Kurtev. Transforming models with ATL. In Proceedings of Satellite Events at the MoDELS 2005 Conference, volume 3844 of Lecture Notes in Computer Science, pages 128-138. Springer, 2006.
18. A. Konigs and A. Schurr. Tool integration with triple graph grammars - a survey. Electronic Notes in Theoretical Computer Science, 148(1):113-150, 2006. (Pubitemid 43121240)
19. M. Lawley, K. Duddy, A. Gerber, and K. Raymond. Language features for re-use and maintainability of MDA transformations. In Workshop on Best Practices for Model-Driven Software Development, 2004.
20. D. Liu, Z. Hu, and M. Takeichi. Bidirectional interpretation of xquery. In PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pages 21-30, 2007.
21. A. Mehra, J. Grundy, and J. Hosking. A generic approach to supporting diagram differencing and merging for collaborative design. In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, pages 204-213. ACM Press, 2005.
22. U. Nickel, J. Niere, J. Wadsack, and A. Zündorf. Roundtrip engineering with FUJABA. In WSR '00: Proceedings of 2nd Workshop on Software-Reengineering, 2000.
23. OMG. MOF QVT final adopted specification. http://www.omg.org/docs/ptc/05- 11-01.pdf, 2005.
24. OMG. XML metadata interchange (XMI) specification, v2.1. http://www.omg.org/docs/formal/05-09-01.pdf, 2005.
25. T. Quatrani. Visual Modeling with Rational Rose 2002 and UML. Addison-Wesley Longman Publishing Co., Inc., 2002.