{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T00:05:07Z","timestamp":1763165107133},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,3,28]],"date-time":"2012-03-28T00:00:00Z","timestamp":1332892800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s10270-012-0242-3","type":"journal-article","created":{"date-parts":[[2012,3,27]],"date-time":"2012-03-27T09:28:30Z","timestamp":1332840510000},"page":"209-238","source":"Crossref","is-referenced-by-count":11,"title":["Domain-specific discrete event modelling and simulation using graph transformation"],"prefix":"10.1007","volume":"13","author":[{"given":"Juan","family":"de Lara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artur","family":"Boronat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torrini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,3,28]]},"reference":[{"key":"242_CR1","unstructured":"AnyLogic. http:\/\/www.xjtek.com\/"},{"key":"242_CR2","unstructured":"Balasubramanian, D., Narayanan, A., van Buskirk, C., Karsai, G.: The graph rewriting and transformation language: GReAT. ECEASST, 1, 2006. http:\/\/www.isis.vanderbilt.edu\/tools\/GReAT"},{"key":"242_CR3","volume-title":"Tools for Structured and Object-Oriented Design","author":"M. Bohl","year":"2007","unstructured":"Bohl M., Rynn M.: Tools for Structured and Object-Oriented Design, 7th edn. Prentice Hall, Upper Saddle River (2007)","edition":"7"},{"key":"242_CR4","doi-asserted-by":"crossref","unstructured":"Boronat, A., Heckel, R., Meseguer, J.: Rewriting logic semantics and verification of model transformations. In: FASE\u201909. LNCS, vol. 5503, pp. 18\u201333. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-00593-0_2"},{"key":"242_CR5","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s00165-009-0140-9","volume":"22","author":"A. Boronat","year":"2010","unstructured":"Boronat A., Meseguer J.: An algebraic semantics for MOF. Formal Asp. Comput. 22, 269\u2013296 (2010)","journal-title":"Formal Asp. Comput."},{"key":"242_CR6","doi-asserted-by":"crossref","unstructured":"Boronat, A., \u00d6lveczky, P.C.: Formal real-time model transformations in MOMENT2. In: FASE\u201910. LNCS, vol. 6013, pp. 29\u201343. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-12029-9_3"},{"key":"242_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandras","year":"2008","unstructured":"Cassandras C.G., Lafortune S.: Introduction to Discrete Event Systems, 2nd edn. Springer, Berlin (2008)","edition":"2"},{"key":"242_CR8","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.L. (eds.): All about Maude\u2014a high-performance logical framework, how to specify, program and verify systems in rewriting logic. LNCS, vol. 4350. Springer, Berlin (2007). http:\/\/maude.cs.uiuc.edu"},{"key":"242_CR9","first-page":"180","volume":"81","author":"J. Lara de","year":"2003","unstructured":"de Lara J.: Meta-modelling and graph transformation for the simulation of systems. Bull. EATCS 81, 180\u2013194 (2003)","journal-title":"Bull. EATCS"},{"issue":"3","key":"242_CR10","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.tcs.2007.02.001","volume":"376","author":"J. Lara de","year":"2007","unstructured":"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\u2013163 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"242_CR11","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E., Boronat, A., Heckel, R., Torrini, P.: Graph transformation for domain-specific discrete event time simulation. In: ICGT\u201910. LNCS, vol. 6372, pp. 266\u2013281. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-15928-2_18"},{"issue":"3\u20134","key":"242_CR12","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s00165-009-0114-y","volume":"22","author":"J. Lara de","year":"2010","unstructured":"de Lara J., Vangheluwe H.: Automating the transformation-based analysis of visual languages. Formal Asp. Comput. 22(3\u20134), 297\u2013326 (2010)","journal-title":"Formal Asp. Comput."},{"key":"242_CR13","doi-asserted-by":"crossref","unstructured":"Eckardt, T., Heinzemann, C., Henkler, S., Hirsch, M., Priesterjahn, C., Sch\u00e4fer, W.: Modeling and verifying dynamic communication structures based on graph transformations. Comput. Sci. Res. Dev. (2011, in press)","DOI":"10.1007\/s00450-011-0184-y"},{"issue":"1","key":"242_CR14","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0167-6423(02)00096-5","volume":"48","author":"S.A. Edwards","year":"2003","unstructured":"Edwards S.A., Lee E.A.: The semantics and execution of a synchronous block-diagram language. Sci. Comput. Program. 48(1), 21\u201342 (2003)","journal-title":"Sci. Comput. Program."},{"key":"242_CR15","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig H., Ehrig K., Prange U., Taentzer G.: Fundamentals of Algebraic Graph Transformation. Springer, Berlin (2006)"},{"issue":"1","key":"242_CR16","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker J., Janneck J., Lee E., Liu J., Liu X., Ludvig J., Neuendorffer S., Sachs S., Xiong Y.: Taming heterogeneity\u2014the ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003)","journal-title":"Proc. IEEE"},{"key":"242_CR17","unstructured":"Ermel, C., Biermann, E., Schmidt, J., Warning, A.: Visual modeling of controlled emf model transformation using henshin. ECEASST, 32 (2010)"},{"key":"242_CR18","unstructured":"ExtendSim. http:\/\/www.extendsim.com"},{"key":"242_CR19","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: A new graph rewrite language based on the unified modeling language and java. In: TAGT. LNCS, vol. 1764, pp. 296\u2013309. Springer, Berlin (2000). http:\/\/www.fujaba.de"},{"key":"242_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3552-9","volume-title":"Discrete-Event Simulation: Modeling, Programming, and Analysis","author":"G.S. Fishman","year":"2001","unstructured":"Fishman G.S.: Discrete-Event Simulation: Modeling, Programming, and Analysis. Springer, Berlin (2001)"},{"issue":"4","key":"242_CR21","first-page":"37","volume":"175","author":"L. G\u00f6nczy","year":"2007","unstructured":"G\u00f6nczy L., Kov\u00e1cs M., Varr\u00f3 D.: Modeling and verification of reliable messaging by graph transformation systems. ENTCS 175(4), 37\u201350 (2007)","journal-title":"ENTCS"},{"issue":"1","key":"242_CR22","first-page":"1","volume":"58","author":"S. Gyapay","year":"2003","unstructured":"Gyapay S., Varr\u00f3 D., Heckel R.: Graph transformation with time. Fundam. Inf. 58(1), 1\u201322 (2003)","journal-title":"Fundam. Inf."},{"issue":"1","key":"242_CR23","first-page":"63","volume":"74","author":"R. Heckel","year":"2006","unstructured":"Heckel R., Lajios G., Menge S.: Stochastic graph transformation systems. Fundam. Inf. 74(1), 63\u201384 (2006)","journal-title":"Fundam. Inf."},{"key":"242_CR24","doi-asserted-by":"crossref","DOI":"10.1002\/9780470249260","volume-title":"Domain-Specific Modeling. Enabling Full Code Generation","author":"S. Kelly","year":"2008","unstructured":"Kelly S., Tolvanen J.-P.: Domain-Specific Modeling. Enabling Full Code Generation. Wiley-IEEE CS, New York (2008)"},{"key":"242_CR25","doi-asserted-by":"crossref","unstructured":"Lambers, L., Ehrig, H., Orejas, F.: Conflict detection for graph transformation with negative application conditions. In: ICGT\u201906. LNCS, vol. 4178, pp. 61\u201376. Springer, Berlin (2006)","DOI":"10.1007\/11841883_6"},{"key":"242_CR26","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Zheng, H.: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In: EMSOFT, pp. 114\u2013123. ACM, New York (2007)","DOI":"10.1145\/1289927.1289949"},{"key":"242_CR27","unstructured":"Lengyel, L., Levendovszky, T., Mezei, G., Charaf, H.: A visual control flow language for model transformation systems. In: IASTED Conf. on Software Engineering, pp. 194\u2013199. IASTED\/ACTA Press (2006). http:\/\/avalon.aut.bme.hu\/~tihamer\/research\/vmts\/"},{"key":"242_CR28","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M.A. Marsan","year":"1995","unstructured":"Marsan M.A., Balbo G., Conte G., Donatelli S., Franceschinis G.: Modelling with Generalized Stochastic Petri Nets. Wiley, New York (1995)"},{"key":"242_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10617-008-9012-4","volume":"12","author":"D.A. Mathaikutty","year":"2008","unstructured":"Mathaikutty D.A., Patel H.D., Shukla S.K., Jantsch A.: SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system. Des. Autom. Embed. Syst. 12, 1\u201330 (2008)","journal-title":"Des. Autom. Embed. Syst."},{"key":"242_CR30","doi-asserted-by":"crossref","unstructured":"Naeem, M., Heckel, R., Orejas, F., Hermann, F.: Incremental service composition based on partial matching of visual contracts. In: FASE\u201910. LNCS, vol. 6013, pp. 123\u2013138. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-12029-9_9"},{"key":"242_CR31","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1145\/155360.155368","volume":"28","author":"R.E. Nance","year":"1993","unstructured":"Nance R.E.: A history of discrete event simulation programming languages. SIGPLAN Not. 28, 149\u2013175 (1993)","journal-title":"SIGPLAN Not."},{"key":"242_CR32","unstructured":"OCL. http:\/\/www.omg.org\/spec\/OCL\/2.3\/Beta2\/"},{"key":"242_CR33","unstructured":"Pegden, C.D.: SIMIO: a new simulation system based on intelligent objects. In: Winter Simulation Conference, pp. 2293\u20132300 (2007). http:\/\/www.simio.com"},{"key":"242_CR34","unstructured":"Pegden, C.D., Davis, D.A.: Arena: a SIMAN\/cinema-based hierarchical modeling system. In: Winter Simulation Conference, pp. 390\u2013399 (1992). http:\/\/www.arenasimulation.com\/"},{"key":"242_CR35","unstructured":"Repenning, A., Ioannidou, A., Zola, J.: AgentSheets: end-user programmable simulations. J. Artif. Soc. Soc. Simul. 3(3) (2000). http:\/\/www.agentsheets.com"},{"key":"242_CR36","doi-asserted-by":"crossref","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: A graphical approach for modeling time-dependent behavior of DSLs. In: VL\/HCC\u201909, pp. 51\u201355. IEEE (2009)","DOI":"10.1109\/VLHCC.2009.5295300"},{"key":"242_CR37","doi-asserted-by":"crossref","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: On the behavioral semantics of real-time domain specific visual languages. In: WRLA. LNCS, vol. 6381, pp. 174\u2013190. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16310-4_12"},{"key":"242_CR38","doi-asserted-by":"crossref","unstructured":"Rivera, J.E., Guerra, E., de Lara, J., Vallecillo, A.: Analyzing rule-based behavioral semantics of visual modeling languages with Maude. In: SLE\u201909. LNCS, vol. 5452, pp. 54\u201373. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-00434-6_5"},{"key":"242_CR39","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol. 1","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol. 1. World Scientific, Singapore (1997)"},{"key":"242_CR40","volume-title":"Simulation Using GPSS","author":"T.J. Schriber","year":"1974","unstructured":"Schriber T.J.: Simulation Using GPSS. Wiley, New York (1974)"},{"key":"242_CR41","doi-asserted-by":"crossref","unstructured":"Schriber, T.J., Brunner, D.T.: Inside discrete-event simulation software: how it works and why it matters. In: Winter Simulation Conference, pp. 151\u2013165 (2010)","DOI":"10.1109\/WSC.2010.5679165"},{"issue":"11","key":"242_CR42","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1145\/182.358460","volume":"26","author":"L. Schruben","year":"1983","unstructured":"Schruben L.: Simulation modeling with event graphs. Commun. ACM 26(11), 957\u2013963 (1983)","journal-title":"Commun. ACM"},{"key":"242_CR43","unstructured":"Strobl, T., Minas, M.: Specifying and generating editing environments for interactive animated visual models. ECEASST, 29 (2010)"},{"key":"242_CR44","doi-asserted-by":"crossref","unstructured":"Syriani, E., Vangheluwe, H.: Programmed graph rewriting with DEVS. In: AGTIVE\u201907. LNCS, vol. 5088, pp. 136\u2013151. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-89020-1_11"},{"key":"242_CR45","unstructured":"Torrini, P., Heckel, R., R\u00e1th, I., Bergmann, G.: Stochastic graph transformation with regions. ECEASST, 29 (2010)"},{"key":"242_CR46","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/360715.360758","volume":"18","author":"J.G. Vaucher","year":"1975","unstructured":"Vaucher J.G., Duval P.: A comparison of simulation event list algorithms. Commun. ACM 18, 223\u2013230 (1975)","journal-title":"Commun. ACM"},{"key":"242_CR47","volume-title":"Theory of Modeling and Simulation","author":"B.P. Zeigler","year":"2000","unstructured":"Zeigler B.P., Praehofer H., Kim T.G.: Theory of Modeling and Simulation, 2nd edn. Academic Press, New York (2000)","edition":"2"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0242-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0242-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0242-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,26]],"date-time":"2019-06-26T04:17:00Z","timestamp":1561522620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0242-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,28]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["242"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0242-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3,28]]}}}