research-article

Incremental View Model Synchronization Using Partial Models

Authors:

Kristóf Marussy,

Oszkár Semeráth,

Dániel VarróAuthors Info & Claims

MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

Pages 323 - 333

https://doi.org/10.1145/3239372.3239412

Published: 14 October 2018 Publication History

Abstract

View models are abstractions of a set of source models derived by unidirectional model transformations. In this paper, we propose a view model transformation approach which provides a fully compositional transformation language built on an existing graph query language to declaratively compose source and target patterns into transformation rules. Moreover, we provide a reactive, incremental, validating and inconsistency-tolerant transformation engine that reacts to changes of the source model and maintains an intermediate partial model by merging the results of composable view transformations followed by incremental updates of the target view. An initial scalability evaluation of an open source prototype tool built on top of an open source model transformation tool is carried out in the context of the open Train Benchmark framework.

References

[1]

2018. ViewModel project repository. https://github.com/ftsrg/viewmodel

[2]

2018. ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models". Approved by the MODELS '18 Artifact Evaluation Committee.

[3]

Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, and Giuliana Franceschinis. 1994. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons.

Digital Library

[4]

Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, and Bernhard Westfechtel. 2017. BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. In BX@ETAPS 2017 (CEUR Workshop Proceedings), Vol. 1827. CEUR-WS.org, 15--30.

[5]

Anthony Anjorin, Sebastian Rose, Frederik Deckwerth, and Andy Schürr. 2014. Efficient Model Synchronization with View Triple Graph Grammars. In ECMFA 2014. Springer.

Digital Library

[6]

Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, and Gabriele Taentzer. 2010. Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In MODELS 2010. Springer, 121--135.

Digital Library

[7]

Olivier Beaudoux, Arnaud Blouin, Olivier Barais, and Jean-Marc Jézéquel. 2010. Active Operations on Collections. In MODELS 2010. Springer.

Digital Library

[8]

Nuel D. Belnap. 1977. A Useful Four-Valued Logic. In Modern Uses of Multiple-Valued Logic. Springer, 5--37.

[9]

Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, and Dániel Varró. 2015. Viatra 3: A Reactive Model Transformation Platform. In ICMT 2015. Springer, 101--110.

Digital Library

[10]

Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, and Dániel Varró. 2012. Incremental Pattern Matching for the Efficient Computation of Transitive Closure. In ICGT 2012. Springer, 386--400.

Digital Library

[11]

Gábor Bergmann, István Ráth, Gergely Varró, and Dániel Varró. 2012. Change-driven model transformations. Softw. Syst. Model. 11, 3 (2012), 431--461.

Digital Library

[12]

Andrea Bondavalli, Ivan Mura, and István Majzik. 1999. Automatic Dependability Analysis for Supporting Design Decisions in UML. In HASE '99. IEEE, 64--74.

Digital Library

[13]

Hugo Bruneliere, Erik Burger, Jordi Cabot, and Manuel Wimmer. 2017. A feature-based survey of model view approaches. Softw. Syst. Model. (2017).

[14]

Hugo Brunelière, Jokin Garcia Perez, Manuel Wimmer, and Jordi Cabot. 2015. EMF Views: A View Mechanism for Integrating Heterogeneous Models. In ER 2015. Springer, 317--325.

[15]

Peter Buneman, Mary Fernandez, and Dan Suciu. 2000. UnQL: a query language and algebra for semistructured data based on structural recursion. VLDB J. 9, 1 (2000).

Digital Library

[16]

Marsha Chechik, Shiva Nejati, and Mehrad Sabetzadeh. 2012. A relationship-based approach to model integration. Innov. Syst. Softw. Eng. 8, 1 (2012), 3--18.

Digital Library

[17]

Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, and Alfonso Pierantonio. 2010. JTL: A Bidirectional and Change Propagating Transformation Language. In SLE 2010. Springer, 183--202.

Digital Library

[18]

Csaba Debrezeni, Ákos Horváth, Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, and Dániel Varró. 2014. Query-driven incremental synchronization of view models. In VAO '14. ACM, 31--38.

Digital Library

[19]

Zinovy Diskin, Yingfei Xiong, and Krzysztof Czarnecki. 2011. Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In MODELS 2010. Springer, 165--179.

Digital Library

[20]

H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg (Eds.). 1999. Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 1. World Scientific Publishing Co., Inc., River Edge, NJ, USA. 163--246 pages.

[21]

Gregor Engels, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. 1997. A Combined Reference Model- and View-Based Approach to System Specification. Int. J. Softw. Eng. Knowl. Eng. 7, 4 (1997), 457--477.

[22]

Michais Famelis, Rick Salay, and Marsha Chechik. 2012. Partial models: Towards modeling and reasoning with uncertainty. In ICSE '12. IEEE.

Digital Library

[23]

Hamid Gholizadeh, Zinovy Diskin, and Tom Maibaum. 2014. A Query Structured Approach for Model Transformation. In Workshop on Analysis of Model Transformations (CEUR Workshop Proceedings), Vol. 1277. CEUR-WS.org, 54--63.

[24]

Holger Giese, Stephan Hildebrandt, and Leen Lambers. 2014. Bridging the gap between formal semantics and implementation of triple graph grammars. Softw. Syst. Model. 13, 1 (2014), 273--299.

Digital Library

[25]

Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, and Dániel Varró. 2010. Non-functional properties in the model-driven development of service-oriented systems. Software & Systems Modeling 10, 3 (2010), 287--311.

Digital Library

[26]

Joel Greenyer. 2006. A study of technologies for model transformation: Reconciling TGGs with QVT. Diplomarbeit. Universität Paderborn.

[27]

Joel Greenyer and Ekkart Kindler. 2007. Reconciling TGGs with QVT. In MODELS 2007. Springer, 16--30.

Digital Library

[28]

David Hearnden, Michael Lawley, and Kerry Raymond. 2006. Incremental Model Transformation for the Evolution of Model-Driven Systems. In MODELS 2006. Springer, 321--335.

Digital Library

[29]

Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, and Dániel Varró. 2016. Query-driven soft traceability links for models. Softw. Syst. Model. 15, 3 (2016), 733--756.

Digital Library

[30]

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano. 2011. GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. In ASE 2011. IEEE.

Digital Library

[31]

Sochiro Hidaka and Massimo Tisi. 2016. Partial Bidirectionalization of Model Transformation Languages. Technical Report. https://hidaka.cis.k.hosei.ac.jp/research/papers/scp2016.pdf

[32]

Johannes Jakob, Alexander Königs, and Andy Schürr. 2006. Non-materialized Model View Specification with Triple Graph Grammars. In ICGT 2006. Springer, 321--355.

Digital Library

[33]

Frédéric Jouault, Freddy Allilaire, Jean Bézivin, and Ivan Kurtev. 2008. ATL: A Model Transformation Tool. Sci. Comput. Program. 72, 1-2 (2008), 31--39.

Digital Library

[34]

Frédéric Jouault and Massimo Tisi. 2010. Towards Incremental Execution of ATL Transformations. In ICMT 2010. Springer, 123--137.

Digital Library

[35]

Norihiro Kamide and Hitoshi Omori. 2017. An Extended First-Order Belnap-Dunn Logic with Classical Negation. In LORI 2017. Springer, 79--93.

[36]

Hsiang-Shang Ko, Tao Zan, and Zhenjiang Hu. 2016. BiGUL: a formally verified core language for putback-based bidirectional programming. In PEPM '16. ACM, 61--72.

Digital Library

[37]

Dimitrios S. Kolovos, Richard F. Paige, and Fiona A. C. Polack. {n. d.}. The Epsilon Transformation Language. In ICMT 2008. Springer, 46--60.

Digital Library

[38]

Dimitrios S. Kolovos, Richard F. Paige, and Fiona A. C. Polack. 2006. Merging Models with the Epsilon Merging Language (EML). Springer, 215--229.

Digital Library

[39]

Thomas Kühne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, and Manuel Wimmer. 2010. Explicit Transformation Modeling. In MODELS 2009. Springer, 240--255.

Digital Library

[40]

Marius Lauder, Anthony Anjorin, Gergely Varró, and Andy Schürr. 2012. Bidirectional Model Transformation with Precedence Triple Graph Grammars. In ECMFA 2012. Springer, 287--303.

Digital Library

[41]

Erhan Leblebici, Anthony Anjorin, Lars Fritsche, Gergely Varró, and Andy Schürr. 2017. Leveraging Incremental Pattern Matching Techniques for Model Synchronisation. In ICGT 2017. Springer, 179--195.

[42]

István Majzik, András Pataricza, and Andrea Bondavalli. 2002. Stochastic Dependability Analysis of System Architecture Based on UML Models. In Architecting Dependable Systems. Springer, 219--244.

Digital Library

[43]

Salvador Martínez, Massimo Tisi, and Rémi Douence. 2017. Reactive model transformation with ATL. Sci. Comp. Prog. 136 (2017), 1--16.

Digital Library

[44]

Sergey Melnik, Philip A. Bernstein, Alon Halevy, and Erhard Rahm. 2005. Supporting executable mappings in model management. In SIGMOD '05. ACM, 167--178.

Digital Library

[45]

Bart Meyers. 2016. A Multi-Paradigm Modelling Approach to Design and Evolution of Domain-Specific Modelling Languages.

[46]

Object Management Group. 2016. MOF Query/View/Transformation Specification. http://www.omg.org/spec/QVT/1.3/Version1.3.

[47]

Mehrdad Sabetzadeh and Steve Easterbrook. 2006. View merging in the presence of incompleteness and inconsistency. Requir. Eng. 11, 3 (2006), 174--193.

Digital Library

[48]

Andy Schürr. 1995. Specification of Graph Translators with Triple Graph Grammars. In WG 1994. Springer, 151--163.

Digital Library

[49]

Oszkár Semeráth and Dániel Varró. 2017. Graph Constraint Evaluation over Partial Models by Constraint Rewriting. In ICMT 2017. 138--154.

[50]

Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, Weizhong Shao, and Hong Mei. 2011. Instant and Incremental QVT Transformation for Runtime Models. In MODELS 2011. Springer, 273--288.

Digital Library

[51]

David Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. 2009. EMF: Eclipse Modeling Framework 2.0 (2nd ed.). Addison-Wesley Professional.

Digital Library

[52]

Perdita Stevens. 2010. Bidirectional model transformations in QVT: semantic issues and open questions. Soft. Syst. Model. 9, 7 (2010).

[53]

Perdita Stevens. 2014. Bidirectionally tolerating inconsistency: partial transformations. Springer, 32--46.

Digital Library

[54]

Gábor Szárnyas, Benedek Izsó, István Ráth, and Dániel Varró. 2017. The Train Benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model. (2017).

[55]

Zoltán Ujhelyi, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, Benedek Izsó, István Ráth, Zoltán Szatmári, and Daniel Varró. 2015. EMF-IncQuery: An integrated development environment for live model queries. Sci. Comput. Program. 98, 1 (2015), 80--99.

Digital Library

[56]

D. Varró, G. Bergmann, Á. Hegedüs, Á. Horváth, I. Ráth, and Z. Ujhelyi. 2016. Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Software and Systems Modeling 15, 3 (2016), 609--629.

Digital Library

[57]

Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, and Ákos Horváth. 2018. Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. In Graph Transformation, Specifications, and Nets. Springer, 285--312.

[58]

Edward D. Willink. 2017. The Micromapping Model of Computation; The Foundation for Optimized Execution of Eclipse QVTc/QVTr/UMLX. In ICMT 2017. Springer, 51--65.

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
Bruneliere Hde Kerchove FDaniel GMadani SKolovos DCabot J(2020)Scalable model views over heterogeneous modeling technologies and resourcesSoftware and Systems Modeling10.1007/s10270-020-00794-6Online publication date: 8-Apr-2020
https://doi.org/10.1007/s10270-020-00794-6
Gonçales LFarias KBischoff V(2019)Towards a Hybrid Approach to Measure Similarity Between UML ModelsProceedings of the XV Brazilian Symposium on Information Systems10.1145/3330204.3330226(1-8)Online publication date: 20-May-2019
https://dl.acm.org/doi/10.1145/3330204.3330226
Show More Cited By

Index Terms

Incremental View Model Synchronization Using Partial Models
1. Human-centered computing

Recommendations

Incremental backward change propagation of view models by logic solvers*
MODELS '16: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems

View models are key concepts of domain-specific modeling to provide task-specific focus (e.g., power or communication architecture of a system) to the designers by highlighting only the relevant aspects of the system. View models can be specified by ...
Traceability-based incremental model synchronization

Model transformation is a crucial aspect of Model-Driven Software Development. With the help of model transformation, we can generate source code or other artifacts from software models. However, a recurring problem in software development is the fact ...
Incremental model synchronization based on a trace model
SMO'09: Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization

Model synchronization is an extant and significant problem in model-related technologies. In general, a modeled system is composed of several models that are often related to one another. Consequently, if one model is altered in the development process, ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

October 2018

478 pages

ISBN:9781450349499

DOI:10.1145/3239372

Conference Chair:
Andrzej Wąsowski,
Program Chairs:
Richard Paige,
Øystein Haugen

Copyright © 2018 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 the author(s) 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: 14 October 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

Magyar Tudományos Akadémia

Conference

MODELS '18

Sponsor:

SIGSOFT

MODELS '18: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems

October 14 - 19, 2018

Copenhagen, Denmark

Acceptance Rates

MODELS '18 Paper Acceptance Rate 29 of 101 submissions, 29%;

Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
173
Total Downloads

Downloads (Last 12 months)22
Downloads (Last 6 weeks)3

Reflects downloads up to 13 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
Bruneliere Hde Kerchove FDaniel GMadani SKolovos DCabot J(2020)Scalable model views over heterogeneous modeling technologies and resourcesSoftware and Systems Modeling10.1007/s10270-020-00794-6Online publication date: 8-Apr-2020
https://doi.org/10.1007/s10270-020-00794-6
Gonçales LFarias KBischoff V(2019)Towards a Hybrid Approach to Measure Similarity Between UML ModelsProceedings of the XV Brazilian Symposium on Information Systems10.1145/3330204.3330226(1-8)Online publication date: 20-May-2019
https://dl.acm.org/doi/10.1145/3330204.3330226
Farias KCavalcante TJosé Gonçales LBischoff V(2019)UML2Merge: a UML extension for model mergingIET Software10.1049/iet-sen.2018.510413:6(575-586)Online publication date: Dec-2019
https://doi.org/10.1049/iet-sen.2018.5104
Diskin ZKönig HLawford M(2019)Multiple model synchronization with multiary delta lenses with amendment and K-PutputFormal Aspects of Computing10.1007/s00165-019-00493-0Online publication date: 22-Oct-2019
https://doi.org/10.1007/s00165-019-00493-0

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