Specifying refinement relations in vertical model transformations

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

Volumn 7349 LNCS, Issue , 2012, Pages 210-225

  Rieke, Jan ^a   Sudmann, Oliver ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Mechatronic System Design; Refinement Abstraction; Triple Graph Grammars (TGG); Vertical Model Synchronization

Indexed keywords

ABSTRACT SYSTEMS; ABSTRACTION LEVEL; BIDIRECTIONAL MODEL TRANSFORMATION; CURRENT MODELS; MECHATRONIC SYSTEMS; MODEL DRIVEN DEVELOPMENT; MODEL SYNCHRONIZATION; MODEL TRANSFORMATION; REFINEMENT/ABSTRACTION; SYNCHRONIZATION TECHNIQUE; TRIPLE GRAPH GRAMMARS;

ABSTRACTING; FORMAL LANGUAGES; MECHATRONICS; SYSTEMS ANALYSIS;

MATHEMATICAL MODELS;

EID: 84864075504     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31491-9_17     Document Type: Conference Paper

References (17)

1. Amelunxen, C., Schürr, A.: Formalising model transformation rules for UML/MOF 2. IET Software 2(3), 204-222 (2008)
2. Atkinson, C., Stoll, D., Bostan, P.: Orthographic Software Modeling: A Practical Approach to View-Based Development. In: Maciaszek, L.A., González-Pérez, C., Jablonski, S. (eds.) ENASE 2008/2009. CCIS, vol. 69, pp. 206-219. Springer, Heidelberg (2010)
3. Brosch, P., Langer, P., Seidl, M., Wieland, K., Wimmer, M., Kappel, G., Retschitzegger, W., Schwinger, W.: An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 271-285. Springer, Heidelberg (2009)
4. Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: ASE 2008, pp. 99-108 (2008)
5. 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)
6. 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. Conf. on Engineering Design (2009)
7. Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling 8(1) (2009)
8. Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: Implementing Query/View/Transformation with Triple Graph Grammars. Software and Systems Modeling 9(1), 21-46 (2010)
9. Greenyer, J., Pook, S., Rieke, J.: Preventing Information Loss in Incremental Model Synchronization by Reusing Elements. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 144-159. Springer, Heidelberg (2011)
10. Greenyer, J., Rieke, J., Schäfer, W., Sudmann, O.: The Mechatronic UML development process. In: Tarr, P.L., Wolf, A.L. (eds.) Engineering of Software, pp. 311-322. Springer, Heidelberg (2011)
11. 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)
12. Henke, C., Tichy, M., Schneider, T., Böcker, J., Schäfer, W.: Organization and control of autonomous railway convoys. In: Proc. of the 9th Int. Symposium on Advanced Vehicle Control (2008)
13. Hermann, F., Ehrig, H., Orejas, F., Golas, U.: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. In: Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 155-170. Springer, Heidelberg (2010)
14. Körtgen, A.T.: Modellierung und Realisierung von Konsistenzsicherungswerkzeugen für simultane Dokumentenentwicklung. Ph.D. thesis, RWTH Aachen University (2009)
15. Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science 152, 125-142 (2006)
16. Object Management Group (OMG): MOF Query/View/Transformation (QVT) 1.0 Specification (2008), http://www.omg.org/spec/QVT/1.0/
17. 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, pp. 151-163. Springer, Heidelberg (1995)