Automated model transformation and its validation using AToM3 and AGG

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2980, Issue , 2004, Pages 182-198

  De Lara, Juan ^a   Taentzer, Gabriele ^b  

^a UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Graph Transformation; Meta Modelling; Modelling; Multi Formalism

Indexed keywords

COMPUTER SIMULATION; GRAPH THEORY; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS; ARTIFICIAL INTELLIGENCE; COMPUTERS;

GRAPH TRANSFORMATION; META-MODELING; MULTI-FORMALISM MODELING; ANALYSIS METHOD; AUTOMATED MODEL TRANSFORMATIONS; CRITICAL PAIR ANALYSIS; INTERMEDIATE MODEL; META-MODELLING; MULTI FORMALISM; TRANSFORMATION PROCESS;

LARGE SCALE SYSTEMS; GRAPH THEORY;

EID: 9444280139     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25931-2_18     Document Type: Conference Paper

References (24)

1. Baresi, L., Mauri, M., Pezze, M. 2002. PLCTools: Graph Transformation Meets PLC Design Electronic Notes in Theoretical Computer Science 72(2).
2. Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G. 2001. A Visualization of OCL using Collaborations, in UML 2001, M.Gogolla and C.Kobryn (eds.), LNCS 2185. Springer.
3. Bottoni, P., Taentzer, G., Schürr, A. 2000. Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In Proc. Visual Languages 2000 IEEE Computer Society, pp.: 59-60.
4. 3 home page: http://atom3.cs. mcgill.ca
5. 3 home page: http://atom3.cs. mcgill.ca
6. de Lara, J., Vangheluwe, H. 2002 Computer Aided Multi-Paradigm Modelling to process Petri-Nets and Statecharts. In ICGT'2002. LNCS 2505. Pp.: 239-253. Springer.
7. Ehrig, H., Engels, G., Kreowski, H.-J. and Rozenbergs, G. editors, 1999. The Handbook of Graph Grammars and Computing by Graph Transformation. Vol 2 World Scientific.
8. Ermel, C., Bardohl, R. 2002. Scenario Views of Visual Behavior Models in GenGED. Proc. GT-VMT'02, at ICGT'02, pp.:71-83.
9. Fishman, G.S. 2001. Discrete Event Simulation. Modeling, Programming and Analysis. Springer Series in Operations Research.
10. Gogolla, M., Lindow, A. 2003. Transforming Data Models with UML. In Omelayenko, B. and Klein, M. Knowledge Transformation for the Semantic Web, IOS Press, pp.: 18-33.
11. Gordon, G. 1996. System Simulation, Prentice Hall. Second Edition.
12. Guerra, E., de Lara, J. 2003. A Framework for the Verification of UML Models. Examples using Petri Nets. Proceedings of JISBD03. pp.: 325-334. Alicante.
13. Heckel, R., Küster, J. M., Taentzer, G. 2002. Confluence of Typed Attributed Graph Transformation Systems. In ICGT'2002. LNCS 2505, pp.: 161-176. Springer.
14. Kreowski, H.-J., Kuske, S. 1999. Graph Transformation Units and Modules. In [6].
15. Küster, J.M., Heckel, R., Engels, G. 2003. Defining and and Validating Transformations of UML Models Proc. IEEE Symposium on Visual Languages and Formal Methods.
16. Meta Object Facility vl.4 Specification and Model Driven Architecture at the OMG web site http://www.omg.org.
17. Plump, D. 1993. Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence. In Term Graph Rewriting, 201-214. Wiley.
18. Ramchandani, C. 1973. Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. Thesis, Massachusetts Inst. of Tech., Cambridge.
19. Rekers, J., Schürr, A. 1997, Defining and parsing visual languages with layered graph grammars. Journal of Visual Languages and Computing, 8(1):27-55.
20. Rozenberg, G. (ed) 1997. Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific. Volume 1.
21. Schürr, A. 1994. Specification of Graph Translators with Triple Graph Grammars. In LNCS 903, pp.: 151-163. Springer.
22. Taentzer G., Ermel C., Rudolf M. 1999 The AGG Approach: Language and Tool Environment, In [6]. See also the AGG Home Page: http://tfs.ca.tu-berlin.de/agg
23. Taentzer G., Ermel C., Rudolf M. 1999 The AGG Approach: Language and Tool Environment, In [6]. See also the AGG Home Page: http://tfs.ca.tu-berlin.de/agg
24. Varro, D. 2002. Towards Formal Verification of Model Transformations. In the PhD Student workshop at Formal Methods for Object Oriented Distributed Systems FMOODS 2002.