Applying advanced TGG concepts for a complex transformation of sequence diagram specifications to timed game automata

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

Volumn 7233 LNCS, Issue , 2012, Pages 222-237

  Greenyer, Joel ^a   Rieke, Jan ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

case; model transformation; Triple Graph Grammar (TGG)

Indexed keywords

COMPLEX MODEL; COMPLEX TRANSFORMATIONS; DECLARATIVE MODELS; MAPPING SPECIFICATIONS; MODEL BASED SOFTWARE ENGINEERING; MODEL TRANSFORMATION; RULE BASED; SEQUENCE DIAGRAMS; TIMED GAME AUTOMATA; TRIPLE GRAPH GRAMMARS;

COMPUTER AIDED SOFTWARE ENGINEERING; FORMAL LANGUAGES; GRAPH THEORY; MATHEMATICAL MODELS; SPECIFICATIONS;

AUTOMATA THEORY;

EID: 84867891670     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34176-2_19     Document Type: Conference Paper

References (21)

1. Amelunxen, C., Königs, A., Rötschke, T., Schürr, A.: MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 361-375. Springer, Heidelberg (2006)
2. Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL - A Tool Suite for Automatic Verification of Real-time Systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066, pp. 232-243. Springer, Heidelberg (1996)
3. Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: Efficient On-the-Fly Algorithms for the Analysis of Timed Games. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 66-80. Springer, Heidelberg (2005)
4. Dang, D.-H., Gogolla, M.: On Integrating OCL and Triple Graph Grammars. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol. 5421, pp. 124-137. Springer, Heidelberg (2009)
5. Geiger, N., Grusie, B., Koch, A., Zündorf, A.: Yet another TGG engine? In: Norbisrath, U., Jubeh, R. (eds.) Int. Fujaba Days. Kasseler Informatikschriften (2011)
6. Giese, H., Hildebrandt, S., Neumann, S.: Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds.) Graph Transformations and Model-Driven Engineering. LNCS, vol. 5765, pp. 555-579. Springer, Heidelberg (2010)
7. Golas, U., Ehrig, H., Hermann, F.: Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. In: Rachid Echahed, A.H., Mosbah, M. (eds.) Int. Workshop on Graph Computation Models. Electronic Communications of the EASST, vol. 39 (2011)
8. Greenyer, J.: Synthesizing modal sequence diagram specifications with Uppaal- Tiga. Tech. Rep. tr-ri-10-310, University of Paderborn (2010)
9. Greenyer, J.: Scenario-Based Design of Mechatronic Systems. Ph.D. thesis, University of Paderborn (2011)
10. 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)
11. Guerra, E., de Lara, J., Orejas, F.: Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. In: Paige, R. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 83-99. Springer, Heidelberg (2009)
12. Harel, D., Kleinbort, A., Maoz, S.: S2A: A Compiler for Multi-modal UML Sequence Diagrams. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 121-124. Springer, Heidelberg (2007)
13. Harel, D., Maoz, S.: Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling 7(2), 237-252 (2008)
14. 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)
15. Klar, F., Königs, A., Schürr, A.: Model transformation in the large. In: ESEC-FSE 2007, pp. 285-294. ACM, New York (2007)
16. Klar, F., Lauder, M., Königs, A., Schürr, A.: Extended Triple Graph Grammars with Efficient and Compatible Graph Translators. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds.) Graph Transformations and Model-Driven Engineering. LNCS, vol. 5765, pp. 141-174. Springer, Heidelberg (2010)
17. Object Management Group (OMG): MOF Query/View/Transformation (QVT) 1.1 Specification, OMG document formal/2011-01-01
18. Object Management Group (OMG): Object Constraint Language (OCL 2.2) specification, OMG document formal/2010-02-01
19. Object Management Group (OMG): UML 2.3 Superstructure Specification, OMG document formal/2010-05-03
20. Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.)WG1994. LNCS, vol. 903, pp. 151-163. Springer, Heidelberg (1995)
21. Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Schürr, A., Wagelaar, D.: A Comparison of Rule Inheritance in Model-to-Model Transformation Languages. In: Cabot, J., Visser, E. (eds.) ICMT2011. LNCS, vol. 6707, pp. 31-46. Springer,Heidelberg (2011)