research-article

Query-driven incremental synchronization of view models

Authors:

Csaba Debreceni,

Ákos Horváth,

Ábel Hegedüs,

Zoltán Ujhelyi,

Dániel VarróAuthors Info & Claims

VAO '14: Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling

Pages 31 - 38

https://doi.org/10.1145/2631675.2631677

Published: 22 July 2014 Publication History

Abstract

Views are key concepts of domain-specific modeling in order to provide specific focus of the designers by abstracting from unnecessary details of the underlying abstract model. Usually, these views are represented as models themselves (view models), computed from the source model. However, the efficient maintenance of views when the source model changes is challenging, as recalculation from scratch has to be avoided to achieve scalability.

In the paper, we propose an approach to define view models in a highly automated way, based on declarative model queries. The views are automatically populated in accordance with the lifecycle of regular model elements - however, their existence is entirely bound to the underlying abstract model. This means that view models are automatically and incrementally maintained. Our contribution can also be interpreted as extending the concepts of derived features to derived objects, specified and maintained by incremental queries.

References

[1]

A. Anwar, S. Ebersold, B. Coulette, M. Nassar, and A. Kriouile. A rule-driven approach for composing viewpoint-oriented models. Journal of Object Technology, 9(2):89--114, Mar. 2010.

[2]

H. Balsters. Modelling database views with derived classes in the UML/OCL-framework. In UML 2003. Modeling Languages and Applications, LNCS 2863, pages 295--309. Springer, 2003.

[3]

G. Bergmann, I. Ráth, G. Varró, and D. Varró. Change-driven model transformations - change (in) the rule to rule the change. Software and System Modeling, 11(3):431--461, 2012.

Digital Library

[4]

G. Bergmann, Z. Ujhelyi, I. Ráth, and D. Varró. A graph query language for EMF models. In Proc. International Conference on Model Transformation, LNCS 6707, pages 167--182. Springer, 2011.

Digital Library

[5]

J. Cabot and E. Teniente. Incremental integrity checking of UML/OCL conceptual schemas. J. Syst. Softw., 82(9):1459--1478, 2009.

Digital Library

[6]

C. Clasen, F. Jouault, J. Cabot, et al. Virtual composition of EMF models. In IDM 2011, Lille, France, 2011.

[7]

Z. Diskin, T. Maibaum, and K. Czarnecki. Intermodeling, queries, and Kleisli categories. In FASE 2012, Tallinn, Estonia, 2012. Springer.

Digital Library

[8]

A. H. Ghamarian, A. Jalali, and A. Rensink. Incremental pattern matching in graph-based state space exploration. ECEASST, 32, 2010.

[9]

H. Giese and R. Wagner. From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling (SoSyM), 8(1), 3 2009.

[10]

I. Groher, A. Reder, and A. Egyed. Incremental consistency checking of dynamic constraints. In FASE 2009, volume 6013 of LNCS. Springer, 2010.

Digital Library

[11]

M. A. Jeusfeld, M. Jarke, and J. Mylopoulos. Metamodeling for Method Engineering. The MIT Press, 2009.

Digital Library

[12]

F. Jouault and M. Tisi. Towards incremental execution of ATL transformations. In 3rd Intl. Conference on Model Transformation, pages 123--137. LNCS 6142, Springer, 2010.

Digital Library

[13]

D. S. Kolovos. Establishing correspondences between models with the epsilon comparison language. In 5th European Conference on Model Driven Architecture, pages 146--157, Enschede, The Netherlands, 2009.

Digital Library

[14]

M. Lauder, A. Anjorin, G. Varró, and A. Schürr. Efficient model synchronization with precedence triple graph grammars. In Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, 2012, LNCS, pages 401--415, 2012.

Digital Library

[15]

I. Ráth, G. Bergmann, A. Ökrös, and D. Varró. Live model transformations driven by incremental pattern matching. In Theory and Practice of Model Transformations, LNCS 5063, pages 107--121. Springer, 2008.

Digital Library

[16]

I. Ráth, A. Hegedüs, and D. Varró. Derived features for EMF by integrating advanced model queries. In Modelling Foundations and Applications, LNCS 7349, pages 102--117. Springer, 2012.

Digital Library

[17]

H. Song, G. Huang, F. Chauvel, W. Zhang, Y. Sun, W. Shao, and H. Mei. Instant and incremental QVT transformation for runtime models. In Model Driven Engineering Languages and Systems, LNCS 6981, pages 273--288. Springer, 2011.

Digital Library

[18]

P. Stevens. Bidirectional model transformations in QVT: semantic issues and open questions. Software and System Modeling, 9(1):7--20, 2010.

[19]

The Eclipse foundation. EMF-IncQuery Event-Driven Virtual Machine, 2014. http://wiki.eclipse.org/EMFIncQuery/DeveloperDocumentation/EventDrivenVM.

[20]

Z. Ujhelyi, G. Bergmann, A. Hegedüs, A. Horváth, B. Izsó, I. Ráth, Z. Szatmári, and D. Varró. EMF-IncQuery: An integrated development environment for live model queries. Science of Computer Programming, 2014. In press.

[21]

Y. Xiong, D. Liu, Z. Hu, H. Zhao, M. Takeichi, and H. Mei. Towards automatic model synchronization from model transformations. In Automated Software Engineering (ASE'07), pages 164--173. ACM, 2007.

Digital Library

Cited By

Búr MStirewalt KKühn TSousa V(2022)ORM ontologies with executable derivation rules to support semantic search in large-scale data applicationsProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3550356.3559576(81-82)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550356.3559576
Tröls MMashkoor AEgyed AHung CHong JBechini ASong E(2021)Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environmentProceedings of the 36th Annual ACM Symposium on Applied Computing10.1145/3412841.3442127(1572-1575)Online publication date: 22-Mar-2021
https://dl.acm.org/doi/10.1145/3412841.3442127
Trols MMashkoor AEgyed A(2021)Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment2021 IEEE/ACM Joint 15th International Conference on Software and System Processes (ICSSP) and 16th ACM/IEEE International Conference on Global Software Engineering (ICGSE)10.1109/ICSSP-ICGSE52873.2021.00018(83-93)Online publication date: May-2021
https://doi.org/10.1109/ICSSP-ICGSE52873.2021.00018
Show More Cited By

Index Terms

Query-driven incremental synchronization of view models
1. Information systems
  1. Information systems applications

Recommendations

Incremental model synchronization in model driven development environments
CASCON '09: Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research

Most modern model driven software development environments rely heavily on model transformations for generating various software design artifacts and eventually even source code. However, during development, maintenance and evolution activities, these ...
Triggered Updates for Temporal Consistency in Real-TimeDatabases

A real-time database system has temporal consistency constraints in addition to timing constraints. The timing constraints require a transaction to be completed by a specified deadline, and the temporal consistency constraints require that temporal data ...
An incremental model on search engine query recommendation

Search engine query recommendation based on mining query logs has been considered as an important and useful method of facilitating users to retrieve information. However, the log data evolves quickly. Existing query recommendation approaches have to ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

VAO '14: Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling

July 2014

55 pages

ISBN:9781450329002

DOI:10.1145/2631675

Copyright © 2014 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].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 July 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

VAO '14

VAO '14: 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling

July 22, 2014

York, United Kingdom

Acceptance Rates

Overall Acceptance Rate 7 of 8 submissions, 88%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
106
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)1

Reflects downloads up to 16 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Búr MStirewalt KKühn TSousa V(2022)ORM ontologies with executable derivation rules to support semantic search in large-scale data applicationsProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3550356.3559576(81-82)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550356.3559576
Tröls MMashkoor AEgyed AHung CHong JBechini ASong E(2021)Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environmentProceedings of the 36th Annual ACM Symposium on Applied Computing10.1145/3412841.3442127(1572-1575)Online publication date: 22-Mar-2021
https://dl.acm.org/doi/10.1145/3412841.3442127
Trols MMashkoor AEgyed A(2021)Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment2021 IEEE/ACM Joint 15th International Conference on Software and System Processes (ICSSP) and 16th ACM/IEEE International Conference on Global Software Engineering (ICGSE)10.1109/ICSSP-ICGSE52873.2021.00018(83-93)Online publication date: May-2021
https://doi.org/10.1109/ICSSP-ICGSE52873.2021.00018
Trols MMashkoor AEgyed A(2021)Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts2021 IEEE/ACM Joint 15th International Conference on Software and System Processes (ICSSP) and 16th ACM/IEEE International Conference on Global Software Engineering (ICGSE)10.1109/ICSSP-ICGSE52873.2021.00017(72-82)Online publication date: May-2021
https://doi.org/10.1109/ICSSP-ICGSE52873.2021.00017
Tröls MMashkoor ADemuth AEgyed A(2021)Ensuring safe and consistent coengineering of cyber‐physical production systemsJournal of Software: Evolution and Process10.1002/smr.230833:9Online publication date: 12-Sep-2021
https://dl.acm.org/doi/10.1002/smr.2308
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
Bruneliere HBurger ECabot JWimmer M(2019)A feature-based survey of model view approachesSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0622-918:3(1931-1952)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0622-9
Marussy KSemeráth OVarró DWąsowski APaige RHaugen Ø(2018)Incremental View Model Synchronization Using Partial ModelsProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239412(323-333)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239412
Bruneliere Hde Kerchove FDaniel GCabot JWąsowski APaige RHaugen Ø(2018)Towards Scalable Model Views on Heterogeneous Model ResourcesProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239408(334-344)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239408
Szárnyas GIzsó BRáth IVarró D(2018)The Train BenchmarkSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0571-817:4(1365-1393)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1007/s10270-016-0571-8
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