More Web Proxy on the site http://driver.im/

research-article

Towards automatic model synchronization from model transformations

Authors:

Masato Takeichi,

Hong MeiAuthors Info & Claims

ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering

Pages 164 - 173

https://doi.org/10.1145/1321631.1321657

Published: 05 November 2007 Publication History

Abstract

The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. However, after a transformation is applied, the source model and the target model usually co-exist and evolve independently. How to propagate modifications across models in different formats still remains as an open problem.

In this paper we propose an automatic approach to synchronizing models that are related by model transformations. Given a unidirectional transformation between metamodels, we can automatically synchronize models in the metamodels by propagating modifications across the models. We have implemented a model synchronization system supporting the Atlas Transformation Language (ATL) and have successfully tested our implementation on several ATL transformation examples in the ATL web site.

References

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[19]

M. Lawley, K. Duddy, A. Gerber, and K. Raymond. Language features for reuse 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.

Digital Library

[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.

Digital Library

[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.

Digital Library

Cited By

Hidaka STisi MEgyed AWimmer MChechik MCombemale B(2024)Partial Bidirectionalization of Model Transformation LanguagesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3640310.3674083(1-12)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3640310.3674083
Tolvanen JKelly SDi Rocco JPierantonio ATinella G(2024)A framework for evaluating tool support for co-evolution of modeling languages, tools and modelsSoftware and Systems Modeling10.1007/s10270-024-01218-5Online publication date: 10-Oct-2024
https://doi.org/10.1007/s10270-024-01218-5
Pascual RBeckert BUlbrich MKirsten MPfeifer W(2024)Formal Foundations of Consistency in Model-Driven DevelopmentLeveraging Applications of Formal Methods, Verification and Validation. Specification and Verification10.1007/978-3-031-75380-0_11(178-200)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1007/978-3-031-75380-0_11
Show More Cited By

Index Terms

Towards automatic model synchronization from model transformations
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

Verification of ATL transformations using transformation models and model finders
ICFEM'12: Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering

In model-driven engineering, models constitute pivotal elements of the software to be built. If models are specified well, transformations can be employed for different purposes, e.g., to produce final code. However, it is important that models produced ...
Reconciling TGGs with QVT
MODELS'07: Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

The Model Driven Architecture (MDA) is an approach to develop software based on different models. There are separate models for the business logic and for platform specific details. Moreover, code can be generated automatically from these models. This ...
Translating ATL Model Transformations to Algebraic Graph Transformations
Proceedings of the 8th International Conference on Theory and Practice of Model Transformations - Volume 9152

Analyzing and reasoning on model transformations has become very relevant for various applications such as ensuring the correctness of transformations. ATL is a model transformation language with rich semantics and a focus on usability, making its ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering

November 2007

590 pages

ISBN:9781595938824

DOI:10.1145/1321631

General Chair:
Kurt Stirewalt
Michigan State University, USA
,
Program Chairs:
Alexander Egyed
Teknowledge Corporation, USA
,
Bernd Fischer
University of Southampton, UK

Copyright © 2007 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 November 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ASE07

Sponsor:

ASE07: International Conference on Automated Software Engineering 2007

November 5 - 9, 2007

Georgia, Atlanta, USA

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

105
Total Citations
View Citations
918
Total Downloads

Downloads (Last 12 months)19
Downloads (Last 6 weeks)2

Reflects downloads up to 11 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Hidaka STisi MEgyed AWimmer MChechik MCombemale B(2024)Partial Bidirectionalization of Model Transformation LanguagesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3640310.3674083(1-12)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3640310.3674083
Tolvanen JKelly SDi Rocco JPierantonio ATinella G(2024)A framework for evaluating tool support for co-evolution of modeling languages, tools and modelsSoftware and Systems Modeling10.1007/s10270-024-01218-5Online publication date: 10-Oct-2024
https://doi.org/10.1007/s10270-024-01218-5
Pascual RBeckert BUlbrich MKirsten MPfeifer W(2024)Formal Foundations of Consistency in Model-Driven DevelopmentLeveraging Applications of Formal Methods, Verification and Validation. Specification and Verification10.1007/978-3-031-75380-0_11(178-200)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1007/978-3-031-75380-0_11
Matsuda KFrohlich SWang MWu N(2023)Embedding by UnembeddingProceedings of the ACM on Programming Languages10.1145/36078307:ICFP(1-47)Online publication date: 31-Aug-2023
https://dl.acm.org/doi/10.1145/3607830
Tolvanen JKelly S(2023)Evaluating Tool Support for Co-Evolution of Modeling Languages, Tools and Models2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00144(914-923)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS-C59198.2023.00144
Atkinson CTunjic CLange A(2021)Controlling View Editability in Projection-Based Modeling Environments2021 IEEE 25th International Enterprise Distributed Object Computing Conference (EDOC)10.1109/EDOC52215.2021.00026(152-161)Online publication date: Oct-2021
https://doi.org/10.1109/EDOC52215.2021.00026
Marah HKardas GChallenger M(2021)Model-driven round-trip engineering for TinyOS-based WSN applicationsJournal of Computer Languages10.1016/j.cola.2021.10105165(101051)Online publication date: Aug-2021
https://doi.org/10.1016/j.cola.2021.101051
Tsigkanos CLi NJin ZHu ZGhezzi CGrundy JLe Goues CLo D(2020)Scalable multiple-view analysis of reactive systems via bidirectional model transformationsProceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering10.1145/3324884.3416579(993-1003)Online publication date: 21-Dec-2020
https://dl.acm.org/doi/10.1145/3324884.3416579
Jadhav PJoshi S(2019)WOADF: Whale Optimization Integrated Adaptive Dragonfly Algorithm Enabled with the TDD Properties for Model TransformationInternational Journal of Computational Intelligence and Applications10.1142/S146902681950026318:04Online publication date: 18-Dec-2019
https://doi.org/10.1142/S1469026819500263
Li NTsigkanos CJin ZDustdar SHu ZGhezzi C(2019)POET: Privacy on the Edge with Bidirectional Data Transformations2019 IEEE International Conference on Pervasive Computing and Communications (PerCom10.1109/PERCOM.2019.8767395(1-10)Online publication date: Mar-2019
https://doi.org/10.1109/PERCOM.2019.8767395
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents