Preventing information loss in incremental model synchronization by reusing elements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6698 LNCS, Issue , 2011, Pages 144-159

  Greenyer, Joel ^a   Pook, Sebastian ^a   Rieke, Jan ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Incremental Model Synchronization; Information Retainment in the Target; Mechatronic System Design; Triple Graph Grammars (TGG)

Indexed keywords

APPLICATION SCENARIO; COMPLEX MECHATRONIC SYSTEM; DEVELOPMENT TIME; ENGINEERING DISCIPLINES; INCREMENTAL MODELS; INFORMATION LOSS; INFORMATION RETAINMENT IN THE TARGET; MECHATRONIC SYSTEM DESIGN; MODEL ELEMENTS; MODEL SYNCHRONIZATION; MULTI-DISCIPLINARY SYSTEMS; SOFTWARE CONTROLLERS; SYNCHRONIZATION ALGORITHM; SYNCHRONIZATION TECHNIQUE; TRIPLE GRAPH GRAMMARS; INCREMENTAL MODEL SYNCHRONIZATIONS; MECHATRONIC SYSTEMS; TRIPLE GRAPH GRAMMARS (TGG);

CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; GRAPH THEORY; MECHATRONICS; SYSTEMS ANALYSIS;

SYNCHRONIZATION;

EID: 79959214533     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21470-7_11     Document Type: Conference Paper

References (18)

1. 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)
2. 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)
3. 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)
4. Giese, H., Hildebrandt, S.: Efficient Model Synchronization of Large-Scale Models. Tech. Rep. 28, Hasso Plattner Institute at the University of Potsdam (2009)
5. Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling 8(1) (2009)
6. 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)
7. 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)
8. 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)
9. Jimenez, A.M.: Change Propagation in the MDA: A Model Merging Approach. Master's thesis, University of Queensland (2005)
10. Körtgen, A.T.:Modellierung und Realisierung vonKonsistenzsicherungswerkzeugen für simultane Dokumentenentwicklung. Ph.D. thesis, RWTH Aachen University (2009)
11. Object Management Group (OMG): Meta Object Facility (MOF) Core 2.0 Specification (2006), http://www.omg.org/spec/MOF/2.0/
12. Object Management Group (OMG): MOF Query/View/Transformation (QVT) 1.0 Specification (2008), http://www.omg.org/spec/QVT/1.0/
13. 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)
14. 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)
15. Varró, G., Varró, D., Schürr, A.: Incremental Graph Pattern Matching: Data Structures and Initial Experiments. Graph and Model Transformation (2006)
16. 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)
17. Verein Deutscher Ingenieure: Design Methodology for Mechatronic Systems (2004)
18. 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)