Model synchronisation: Definitions for round-trip engineering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5063 LNCS, Issue , 2008, Pages 31-45

  Hettel, Thomas ^a,b   Lawley, Michael ^a   Raymond, Kerry ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b SAP RESEARCH   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; INFORMATION THEORY; TARGETS;

ABSTRACT MODELS; ABSTRACTION LAYERS; CENTRIC SOFTWARES; CONCRETE MODELS; FORMAL DEFINITIONS; MAINTENANCE WROUGHT; MODEL TRANSFORMATIONS; SOFTWARE SYSTEMS; SOURCE MODELS; SYNCHRONISATION; TARGET MODELS; WHOLE SYSTEMS;

COMPUTER SOFTWARE MAINTENANCE;

EID: 54249167483     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69927-9_3     Document Type: Conference Paper

References (13)

1. Aßmann, U.: Automatic Roundtrip Engineering. Electronic Notes in Theoretical Computer Science 82(5) (April 2003)
2. Barros, A., Decker, G., Dumas, M.: Multi-staged and Multi-viewpoint Service Choreography Modelling. In: Proceedings of the Workshop on Software Engineering Methods for Service Oriented Architecture (SEMSOA), Hannover, Germany. CEUR Workshop Proceedings, vol. 244 (May 2007)
3. Cicchetti, A., Ruscio, D.D., Eramo, R.: Towards Propagation of Changes by Model Approximations. In: Proceedings of the 10th International Enterprise Distributed Object Computing Conference Workshops, p. 24. IEEE Computer Society, Los Alamitos (2006)
4. Dayal, U., Bernstein, P.A.: On the correct translation of update operations on relational views. ACM Trans. Database Syst. 7(3), 381-416 (1982)
5. Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 72-86. Springer, Heidelberg (2007)
6. Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem. ACM Transactions on Programming Languages and Systems (2007)
7. Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 543-557. Springer, Heidelberg (2006)
8. Lawley, M., Steel, J.: Practical Declarative Model Transformation with Tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 139-150. Springer, Heidelberg (2006)
9. Miller, J., Mukerji, J.: MDA Guide. Technical Report omg/03-06-01, OMG (June 2003)
10. Mu, S.-C, Hu, Z., Takeichi, M.: An Injective Language for Reversible Computation. In: Kozen, D. (ed.) MPC 2004. LNCS, vol. 3125, pp. 289-313. Springer, Heidelberg (2004)
11. Stevens, P.: Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 1-15. Springer, Heidelberg (2007)
12. Van Paesschen, E., D'Hondt, M.: SelfSync: A Dynamic Round-Trip Engineering Environment. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 347-352. Springer, Heidelberg (2006)
13. Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: ASE 2007: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, pp. 164-173. ACM, New York (2007)