Ali Razavi
ABSTRACT
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 software artifacts are subject to updates and refactoring operations. In such model driven development environments, these software artifacts need to be re-synchronized every time one of them is altered, so that they all remain consistent according to some specific rules, relations and domain constraints. Until now, the standard approach to model synchronization has been the re-application of all transformation rules, aiming thus for the complete re-generation of all artifacts in all models involved. This complete re-application is a safe yet computationally expensive way to ensure consistency among models. In this paper, we present a method for re-synchronizing software models in an incremental fashion by utilizing an indexing model. In this respect, using the proposed methodology, the time required for maintaining global model consistency is proportional to the size of the changes and not that of the models involved. The proposed approach has been applied for the incremental re-synchronization of large and complex models in the Eclipse Web Tools Platform (WTP). Results indicate that this solution can significantly reduce the time required to re-synchronize models in such comprehensive development environments as WTP.
- M. Alanen and I. Porres. Difference and union of models. UML 2003 PROCEEDINGS, pp. 2--17, 2003.Google Scholar
Cross Ref
- C. Amelunxen, F. Klar, A. Königs, T. Rötschke, and A. Schürr. Metamodel-based tool integration with MOFLON. In 30th Int. Conf. on Software Engineering (ICSE'08), pp. 807--810, Leipzig, Germany, May 2008. Google ScholarDigital Library
- M. Antkiewicz and K. Czarnecki. Design space of heterogeneous synchronization. In R. Lämmel and J. Visser, editors, GTTSE'07, LNCS. Springer, 2008. Google ScholarDigital Library
- ATL. Specification of the ATL Virtual Machine version 0.1. LINA and INRIA, Nantes, France, 2005.Google Scholar
- MOF QVT final adopted specification, Nov 2005. OMG document ptc/05-11-01.Google Scholar
- A. Cicchetti, D. Di Ruscio, and R. Eramo. Towards propagation of changes by model approximations. In EDOCW '06: Enterp. Dist. Object Computing Conf. Worksh., page 24, Washington DC, USA, 2006. Google ScholarDigital Library
- K. Czarnecki and S. Helsen. Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3):621 -- 45, 2006/07/. Google ScholarDigital Library
- J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt. Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst., 29(3):17, 2007. Google ScholarCross Ref
- T. Griffin and L. Libkin. Incremental maintenance of views with duplicates. pp. 328 -, San Jose, CA, USA, 1995.Google Scholar
- J. Grundy, J. Hosking, and W. B. Mugridge. Inconsistency management for multiple-view software development environments. IEEE Transactions on Software Engingeering (TSE), 24(11):960 -- 81, 1998/11/. Google ScholarDigital Library
- A. Gupta, I. S. Mumick, and V. S. Subrahmanian. Maintaining views incrementally. volume 22, pp. 157 -- 166, Washington, DC, USA, 1993. Google ScholarDigital Library
- D. Hearnden, M. Lawley, and K. Raymond. Incremental model transformation for the evolution of model-driven systems. volume 4199 LNCS, pp. 321 -- 335, Genova, Italy, 2006. Google ScholarDigital Library
- S. P. Reiss. Incremental maintenance of software artifacts. IEEE Transactions on Software Engineering (TSE), 32(9):682 -- 97, Sept. 2006. Google ScholarDigital Library
- A. Schürr. Specification of graph translators with triple graph grammars. volume 903 of LNCS, pp. 151--163, Herrsching, Germany, June 1994.Google Scholar
- L. Tratt. Model transformations and tool integration. Journal of Software and Systems Modeling, 4(2):112--122, May 2005.Google ScholarDigital Library
- Eclipse Webtools Platform Project http://www.eclipse.org/webtools/Google Scholar
- Y. Xiong, D. Liu, Z. Hu, H. Zhao, M. Takeichi and H. Mei. Towards automatic model synchronization from model transformations. In ASE'07: Proceedings 22nd conf. on Automated Software Engineering, pp. 164--173, New York, 2007. Google ScholarDigital Library
- Z. Hu, M. Takeichi, H. Song, H. Mei, Y. Xiong, H. Zhao. Beanbag: Operation-based synchronization with intra-relations. Technical Report GRACE-TR-2008-04, Tokyo, Japan.Google Scholar
Index Terms
- Incremental model synchronization in model driven development environments
Recommendations
Query-driven incremental synchronization of view models
VAO '14: Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software ModellingViews 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), ...
Incremental model synchronization with triple graph grammars
MoDELS'06: Proceedings of the 9th international conference on Model Driven Engineering Languages and SystemsThe advent of model-driven software development has put model transformations into focus. In practice, model transformations are expected to be applicable in different stages of a development process and help to consistently propagate changes between ...
Model synchronization at work: keeping SysML and AUTOSAR models consistent
Graph transformations and model-driven engineeringDuring the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic ...
Comments