Abstract
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short review of existing programmed graph rewriting systems, listing the control structures they provide. As DEVS is a timed, highly modular, hierarchical formalism for the description of reactive systems, control structures such as sequence, choice, and iteration are easily modelled. Non-determinism and parallel composition also follow from DEVS’ semantics. The proposed approach is illustrated through the modelling of a simple PacMan game, first in AToM3 and then using DEVS. We show how the use of DEVS allows for modular modification of control structure.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blostein, D., Fahmy, H., Grbavec, A.: Issues in the practical use of graph rewriting. In: 5th International Workshop on Graph Grammars and Their Application to Computer Science, pp. 38–55. Springer, Heidelberg (1996)
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)
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)
Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Taentzer, G., Varró, 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)
de Lara, J., Vangheluwe, H.: AToM3: A tool for multi-formalism and meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol. 2306, pp. 174–188. Springer, Heidelberg (2002)
de Lara, J., Vangheluwe, H., Alfonseca, M.: Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. Software and Systems Modeling (SoSyM) 3, 194–209 (2004)
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)
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)
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)
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)
Blostein, D., Schürr, A.: Computing with graphs and graph rewriting. Proceedings in Informatics, 1–21 (1999)
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)
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)
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)
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)
Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, London (1984)
Bolduc, J.S., Vangheluwe, H.: The modelling and simulation package PythonDEVS for classical hierarchical DEVS. MSDL Technical report MSDL-TR-2001-01, McGill University (2001)
Song, H.: Infrastructure for DEVS modelling and experimentation. MSc dissertation, McGill University (2006)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Syriani, E., Vangheluwe, H. (2008). Programmed Graph Rewriting with DEVS. In: Schürr, A., Nagl, M., Zündorf, A. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2007. Lecture Notes in Computer Science, vol 5088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89020-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-89020-1_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89019-5
Online ISBN: 978-3-540-89020-1
eBook Packages: Computer ScienceComputer Science (R0)