Translating model simulators to analysis models

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

Volumn 4961 LNCS, Issue , 2008, Pages 77-92

  De Lara, Juan ^a   Vangheluwe, Hans ^b  

^a UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; INFORMATION THEORY; LINGUISTICS; MARINE BIOLOGY; MATHEMATICAL TRANSFORMATIONS; PETRI NETS; QUERY LANGUAGES; SEMANTICS; SIMULATORS; SOFTWARE ENGINEERING;

ANALYSIS MODELS; AUTOMATIC GENERATION; CONFERENCES (CHEMICAL INDUSTRY); DOMAIN-SPECIFIC VISUAL LANGUAGES; EUROPEAN; EXECUTION CONTROL; GRAPH GRAMMARS; GRAPH TRANSFORMATION RULES; HEIDELBERG (CO); INTERNATIONAL (CO); INTERNATIONAL CONFERENCES; MODEL TRANSFORMATIONS; OPERATIONAL SEMANTICS; PRODUCTION SYSTEMS; SEMANTIC DOMAINS; SOURCE LANGUAGE (SL); STATIC INFORMATION; TRANSITION (JEL CLASSIFICATIONS:E52 ,E41 ,E31);

GRAPH THEORY;

EID: 47249117082     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78743-3_6     Document Type: Conference Paper

References (18)

1. AGG, http://tfs.cs.tu-berlin.de/agg/
2. Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model Transformations? Transformation Models! In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 440-453. Springer, Heidelberg (2006)
3. Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1. World Scientific, Singapore (1999)
4. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)
5. Ermel, C., Ehrig, K.: Simulation and Analysis of Reconfigurable Systems. In: Proc. AGTIVE 2007, pp. 261-276 (to appear)
6. Guerra, E., de Lara, J.: Event-Driven Grammars: Relating Abstract and Concrete Levels of Visual Languages. In: SoSyM, vol. 6(3), pp. 317-347. Springer, Heidelberg (2007)
7. Heckel, R., Küster, J.M., Taentzer, G.: Confluence of Typed Attributed Graph Transformation Systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 161-176. Springer, Heidelberg (2002)
8. de Lara, J., Vangheluwe, H.: Defining Visual Notations and Their Manipulation Through Meta-Modelling and Graph Transformation. JVLC 15(3-4), 309-330 (2004)
9. de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376(3), 139-163 (2007)
10. de Lara, J., Guerra, E., Bottoni, P.: Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules. In: Proc. GT-VMT 2007. Electronic Communications of the EASST, vol. 6 (2007)
11. Llorens, M., Oliver, J.: Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets. IEEE Trans. Computers 53(9), 1147-1158 (2004)
12. Marriott, K., Meyer, B., Wittenburg, K.: A survey of visual language specification and recognition. In: Theory of Visual Languages, pp. 5-85. Springer, Heidelberg (1998)
13. Mellor, S., Scott, K., Uhl, A., Weise, D.: MDA Distilled: Principles of Model-Driven Architecture. Addison Wesley, Reading (2004)
14. Peterson, J.L.: Petri Net Theory and the Modelling of Systems. Prentice-Hall, Englewood Cliffs (1981)
15. 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)
16. Vangheluwe, H., de Lara, J.: Automatic Generation of Model-to-Model Transformations from Rule-Based Specifications of Operational Semantics. In: DSM 2007 workshop, Tech.Rep Univ. Jyväskilä (2007)
17. Varro, D.: Model Transformation by Example. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 410-424. Springer, Heidelberg (2006)
18. Varro, D., Varro-Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination Analysis of Model Transformations by Petri Nets. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 260-274. Springer, Heidelberg (2006)