Programmed graph rewriting with DEVS

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

Volumn 5088 LNCS, Issue , 2008, Pages 136-151

  Syriani, Eugene ^a   Vangheluwe, Hans ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SIMULATION; GRAPH THEORY; HIERARCHICAL SYSTEMS; SEMANTICS; SPECIFICATIONS;

CONTROL STRUCTURE; DISCRETE EVENT SYSTEM SPECIFICATION; GRAPH REWRITING; GRAPH REWRITING SYSTEMS; GRAPH TRANSFORMATION; MODULAR MODIFICATION; PARALLEL COMPOSITION; REACTIVE SYSTEM;

GRAPH STRUCTURES;

EID: 56749174099     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89020-1_11     Document Type: Conference Paper

References (22)

1. Blostein, D., Fahmy, H., Grbavec, A.: Issues in the practical use of graph rewriting. In: Selected papers from the 5th International Workshop on Graph Grammars and Their Application to Computer Science, pp. 38-55. Springer, Heidelberg (1996)
2. Nickel, U., Niere, J., Zündorf, A.: Tool demonstration: The FUJABA environment. In: ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering, pp. 742-745. ACM Press, New York (2000)
3. Lengyel, L., Levendovszky, T., Mezei, G., Charaf, H.: Control flow support in metamodel-based model transformation frameworks. In: EUROCON 2005 International Conference on "Computer as a tool", pp. 595-598. IEEE, Los Alamitos (2005)
4. Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Taentzer, G., Varro, D., Varró-Gyapay, S.: Model transformation by graph transformation: A comparative study. In: MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005), Montego Bay, Jamaica (2005)
5. 3: A tool for multi-formalism and metamodelling. In: Kutsche, R.-D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol. 2306, pp. 174-188. Springer, Heidelberg (2002)
6. 3. Software and Systems Modeling (SoSyM) 3, 194-209 (2004)
7. Vizhanyo, A., Agrawal, A., Shi, F.: Towards generation of high-performance transformations. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol. 3286, pp. 298-316. Springer, Heidelberg (2004)
8. Agrawal, A.: Metamodel based model transformation language. In: OOPSLA 2003: Companion of the 18th annual ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, pp. 386-387. ACM Press, New York (2003)
9. Agrawal, A., Karsai, G., Kalmar, Z., Neema, S., Shi, F., Vizhanyo, A.: The design of a language for model transformations. Software and Systems Modeling (SoSyM) 5, 261-288 (2005)
10. Lengyel, L., Levendovszky, T., Mezei, G., Charaf, H.: Model transformation with a visual control flow language. International Journal of Computer Science (IJCS) 1, 45-53 (2006)
11. Blostein, D., Schürr, A.: Computing with graphs and graph rewriting. Proceedings in Informatics, 1-21 (1999)
12. Schürr, A., Winter, A.J., Zündorf, A.: Graph grammar engineering with progres. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989, pp. 219-234. Springer, Heidelberg (1995)
13. Fischer, T., Niere, J., Turunski, L., Zündorf, A.: Story diagrams: A new graph grammar language based on the Unified Modelling Language and Java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 296-309. Springer, Heidelberg (2000)
14. Amelunxen, C., Königs, A., Rötschke, T., Schürr, A.: Moflon: A standardcompliant metamodeling framework with graph transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 361-375. Springer, Heidelberg (2006)
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. Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, London (1984)
17. Bolduc, J.S., Vangheluwe, H.: The modelling and simulation package Python-DEVS for classical hierarchical DEVS. MSDL Technical report MSDL-TR-2001-01, McGill University (2001)
18. Song, H.: Infrastructure for DEVS modelling and experimentation. MSc dissertation, McGill University (2006)
19. Heckel, R.: Graph transformation in a nutshell. In: Proceedings of the School on Foundations of Visual Modelling Techniques (FoVMT 2004) of the SegraVis Research Training Network. Electronic Notes in Theoretical Computer Science (ENTCS), vol. 148, pp. 187-198. Elsevier, Amsterdam (2006)
20. Chow, A.C.H.: Parallel devs: a parallel, hierarchical, modular modeling formalism and its distributed simulator. Transactions of the Society for Computer Simulation International 13, 55-67 (1996)
21. Gyapay, S., Heckel, R., Varró, D.: Graph transformation with time: Causality and logical clocks. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 120-134. Springer, Heidelberg (2002)
22. Hong, J.S., Song, H.S., Kim, T.G., Park, K.H.: A real-time discrete event system specification formalism for seamless real-time software development. Discrete Event Dynamic Systems 7, 355-375 (1997)