Abstract
The development of complex mechatronic systems requires the close collaboration of multiple engineering disciplines. Hence, multidisciplinary system engineering approaches have been developed. However, the refinement of discipline-specific aspects of the system, for example the implementation of software controllers, still requires discipline-specific models and tools. During the development, changes in these discipline-specific models may affect other disciplines’ models. Thus, inconsistencies are likely to occur, leading to increased development time and costs if they remain undetected. Bidirectional model synchronization techniques aim at automatically resolving such inconsistencies. Existing synchronization algorithms today, however, fail in this application scenario, because synchronization steps often unnecessarily destroy and re-create elements, which damages parts of the models that are not subject to the synchronization. In order to solve these issues, we present a novel synchronization technique based on Triple Graph Grammars with improvements regarding the reuse of model elements.
This work was developed in the course of the Collaborative Research Center 614 – Self-optimizing Concepts and Structures in Mechanical Engineering – University of Paderborn, funded by the Deutsche Forschungsgemeinschaft.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Burmester, S., Giese, H., Tichy, M.: Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. In: Aßmann, U., Rensink, A., Aksit, M. (eds.) MDAFA 2003. LNCS, vol. 3599, pp. 47–61. Springer, Heidelberg (2005)
Gausemeier, J., Frank, U., Donoth, J., Kahl, S.: Specification technique for the description of self-optimizing mechatronic systems. Research in Engineering Design 20(4), 201–223 (2009)
Gausemeier, J., Schäfer, W., Greenyer, J., Kahl, S., Pook, S., Rieke, J.: Management of Cross-Domain Model Consistency During the Development of Advanced Mechatronic Systems. In: Proc. of the 17th Int. Conference on Engineering Design (ICED 2009) (2009)
Giese, H., Hildebrandt, S.: Efficient Model Synchronization of Large-Scale Models. Tech. Rep. 28, Hasso Plattner Institute at the University of Potsdam (2009)
Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling 8(1) (2009)
Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. Software and Systems Modeling (SoSyM) 9(1) (2010)
Greenyer, J., Rieke, J.: Improved algorithm for preventing information loss in incremental model synchronization. Tech. Rep. tr-ri-11-324, Software Engineering Group, Department of Computer Science, University of Paderborn (2011)
Hearnden, D., Lawley, M., Raymond, K.: Incremental Model Transformation for the Evolution of Model-Driven Systems. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 321–335. Springer, Heidelberg (2006)
Jimenez, A.M.: Change Propagation in the MDA: A Model Merging Approach. Master’s thesis, University of Queensland (2005)
Körtgen, A.T.: Modellierung und Realisierung von Konsistenzsicherungswerkzeugen für simultane Dokumentenentwicklung. Ph.D. thesis, RWTH Aachen University (2009)
Object Management Group (OMG): Meta Object Facility (MOF) Core 2.0 Specification (2006), http://www.omg.org/spec/MOF/2.0/
Object Management Group (OMG): MOF Query/View/Transformation (QVT) 1.0 Specification (2008), http://www.omg.org/spec/QVT/1.0/
Ráth, I., Varró, G., Varró, D.: Change-driven model transformations. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 342–356. Springer, Heidelberg (2009)
Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903. Springer, Heidelberg (1995)
Varró, G., Varró, D., Schürr, A.: Incremental Graph Pattern Matching: Data Structures and Initial Experiments. Graph and Model Transformation (2006)
Varró, G., Friedl, K., Varró, D.: Adaptive graph pattern matching for model transformations using model-sensitive search plans. Electronic Notes in Theoretical Computer Science 152 (2006)
Verein Deutscher Ingenieure: Design Methodology for Mechatronic Systems (2004)
Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Supporting Parallel Updates with Bidirectional Model Transformations. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 213–228. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Greenyer, J., Pook, S., Rieke, J. (2011). Preventing Information Loss in Incremental Model Synchronization by Reusing Elements. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds) Modelling Foundations and Applications. ECMFA 2011. Lecture Notes in Computer Science, vol 6698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21470-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-21470-7_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21469-1
Online ISBN: 978-3-642-21470-7
eBook Packages: Computer ScienceComputer Science (R0)