{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T13:53:15Z","timestamp":1710251595829},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T00:00:00Z","timestamp":1307404800000},"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":[[2013,5]]},"DOI":"10.1007\/s10270-011-0205-0","type":"journal-article","created":{"date-parts":[[2011,6,6]],"date-time":"2011-06-06T06:18:38Z","timestamp":1307341118000},"page":"387-414","source":"Crossref","is-referenced-by-count":21,"title":["A modular timed graph transformation language for simulation-based design"],"prefix":"10.1007","volume":"12","author":[{"given":"Eugene","family":"Syriani","sequence":"first","affiliation":[]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,6,7]]},"reference":[{"key":"205_CR1","doi-asserted-by":"crossref","unstructured":"Blostein, D., Fahmy, H., Grbavec, A.: Issues in the practical use of graph rewriting. In: Cuny, J.E., Ehrig, H., Engels, G., Rozenberg, G. (eds.) Selected Papers from the 5th International Workshop on Graph Grammars and Their Application to Computer Science. LNCS, vol. 1073, pp. 38\u201355. Springer, Williamsburg, November 1996","DOI":"10.1007\/3-540-61228-9_78"},{"key":"205_CR2","doi-asserted-by":"crossref","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: The FUJABA environment. In: ICSE\u201900, pp. 742\u2013745. ACM Press, Limerick, June 2000","DOI":"10.1145\/337180.337620"},{"key":"205_CR3","doi-asserted-by":"crossref","unstructured":"Lengyel, L., Levendovszky, T., Mezei, G., Charaf, H.: Control flow support in metamodel-based model transformation frameworks. In: EUROCON\u201905, pp. 595\u2013598. IEEE, Belgrade, November 2005","DOI":"10.1109\/EURCON.2005.1629999"},{"issue":"3","key":"205_CR4","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s10270-006-0027-7","volume":"5","author":"A. Agrawal","year":"2006","unstructured":"Agrawal A., Karsai G., Kalmar Z., Neema S., Shi F., Vizhanyo A.: The design of a language for model transformations. SoSym 5(3), 261\u2013288 (2006)","journal-title":"SoSym"},{"issue":"1","key":"205_CR5","first-page":"45","volume":"1","author":"L. Lengyel","year":"2006","unstructured":"Lengyel L., Levendovszky T., Mezei G., Charaf H.: Model transformation with a visual control flow language. IJCS 1(1), 45\u201353 (2006)","journal-title":"IJCS"},{"key":"205_CR6","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Winter, A.J., Z\u00fcndorf, A.: Graph grammar engineering with PROGRES. In: Sch\u00e4fer, W., Botella, P. (eds.) 5th European Software Engineering Conference. LNCS, vol. 989, pp. 219\u2013234. Springer, Sitges, September 1995","DOI":"10.1007\/3-540-60406-5_17"},{"key":"205_CR7","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/11787044_27","volume-title":"Model Driven Architecture\u2014Foundations and Applications: Second European Conference. LNCS, vol. 4066","author":"C. Amelunxen","year":"2006","unstructured":"Amelunxen C., K\u00f6nigs A., R\u00f6tschke T., Sch\u00fcrr A.: MOFLON: a standard-compliant metamodeling framework with graph transformations. In: Rensink, A., Warmer, J. (eds) Model Driven Architecture\u2014Foundations and Applications: Second European Conference. LNCS, vol. 4066, pp. 361\u2013375. Springer, Berlin (2006)"},{"key":"205_CR8","doi-asserted-by":"crossref","unstructured":"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. ENTCS, vol. 148, no. 1, pp. 187\u2013198. Elsevier (2006)","DOI":"10.1016\/j.entcs.2005.12.018"},{"key":"205_CR9","doi-asserted-by":"crossref","unstructured":"de Lara, J., Vangheluwe, H.: AToM3: a tool for multi-formalism and meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE\u201902. LNCS, vol. 2306, pp. 174\u2013188. Springer, Grenoble, April 2002","DOI":"10.1007\/3-540-45923-5_12"},{"key":"205_CR10","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G.: Handbook of graph grammars and computing by graph transformation. In: Rozenberg, G. (ed.) Foundations, vol. 1. World Scientific Publishing Co. (1997)"},{"key":"205_CR11","volume-title":"Multifacetted Modelling and Discrete Event Simulation","author":"B.P. Zeigler","year":"1984","unstructured":"Zeigler B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, New York (1984)"},{"key":"205_CR12","doi-asserted-by":"crossref","unstructured":"Xie, H., Boukerche, A., Zhang, M., Zeigler, B.P.: Design of a QoS-aware service composition and management system in peer-to-peer network aided by DEVS. In: DS-RT, pp. 285\u2013291 (2008)","DOI":"10.1109\/DS-RT.2008.40"},{"issue":"2","key":"205_CR13","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1177\/0037549704042860","volume":"80","author":"J.-K. Lee","year":"2004","unstructured":"Lee J.-K., Lim Y.-H., Chi S.-D.: Hierarchical modeling and simulation environment for intelligent transportation systems. Simulation 80(2), 61\u201376 (2004)","journal-title":"Simulation"},{"issue":"3","key":"205_CR14","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/j.envsoft.2003.08.016","volume":"19","author":"J.-B. Filippi","year":"2004","unstructured":"Filippi J.-B., Bisgambiglia P.: JDEVS: an implementation of a DEVS based formal framework for environmental modelling. Environ. Model. Softw. 19(3), 261\u2013274 (2004)","journal-title":"Environ. Model. Softw."},{"key":"205_CR15","unstructured":"Bolduc J.-S., Vangheluwe, H.: The modelling and simulation package pythonDEVS for classical hierarchical DEVS. McGill University. MSDL Technical Report MSDL-TR-2001-01, June 2001"},{"key":"205_CR16","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Gorp, P.: A taxonomy of model transformation. In: GraMoT\u201905. ENTCS, vol. 152, pp. 125\u2013142, Tallinn (Estonia), March 2006","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"205_CR17","first-page":"136","volume-title":"AGTIVE\u201907. LNCS, vol. 5088","author":"E. Syriani","year":"2007","unstructured":"Syriani E., Vangheluwe H.: Programmed graph rewriting with DEVS. In: Nagl, M., Sch\u00fcrr, A. (eds) AGTIVE\u201907. LNCS, vol. 5088, pp. 136\u2013152. Springer, Kassel (2007)"},{"issue":"6","key":"205_CR18","first-page":"317","volume":"6","author":"E. Guerra","year":"2007","unstructured":"Guerra E., de Lara J.: Event-driven grammars: relating abstract and concrete levels of visual languages. SoSym 6(6), 317\u2013347 (2007)","journal-title":"SoSym"},{"key":"205_CR19","first-page":"54","volume-title":"ICGT\u201904. LNCS, vol. 3256","author":"E. Guerra","year":"2004","unstructured":"Guerra E., de Lara J.: Event-driven grammars: towards the integration of meta-modelling and graph transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds) ICGT\u201904. LNCS, vol. 3256, pp. 54\u201369. Springer, New York (2004)"},{"issue":"3","key":"205_CR20","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"4","author":"P.E. Hart","year":"1968","unstructured":"Hart P.E., Nilsson N.J., Raphael B.: A formal basis for the heuristic determination of minimum cost paths. IEEE Trans. Syst. Sci. Cybern. 4(3), 100\u2013107 (1968)","journal-title":"IEEE Trans. Syst. Sci. Cybern."},{"issue":"4","key":"205_CR21","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1023\/A:1016550503294","volume":"28","author":"A.V. Zaitsev","year":"2002","unstructured":"Zaitsev A.V., Skorik Y.A.: Mathematical description of sensorimotor reaction time distribution. Human Physiol. 28(4), 494\u2013497 (2002)","journal-title":"Human Physiol."},{"key":"205_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8643-8","volume-title":"Non-Uniform Random Variate Generation","author":"L. Devroye","year":"1986","unstructured":"Devroye L.: Non-Uniform Random Variate Generation. Springer, New York (1986)"},{"key":"205_CR23","doi-asserted-by":"crossref","unstructured":"Gyapay, S., Heckel, R., Varr\u00f3, D.: Graph transformation with time: causality and logical clocks. In: ICGT\u201902. LNCS, vol. 2505, pp. 120\u2013134. Springer, Barcelona, October 2002","DOI":"10.1007\/3-540-45832-8_11"},{"key":"205_CR24","first-page":"243","volume-title":"ICGT\u201904. LNCS, vol. 3256","author":"R. Heckel","year":"2004","unstructured":"Heckel R., Lajios G., Menge S.: Stochastic graph transformation systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds) ICGT\u201904. LNCS, vol. 3256, pp. 243\u2013246. Springer, New York (2004)"},{"key":"205_CR25","doi-asserted-by":"crossref","unstructured":"Agrawal, A.: Metamodel based model transformation language. In: OOPSLA\u201903, pp. 386\u2013387. ACM Press, Anaheim (2003)","DOI":"10.1145\/949445.949448"},{"key":"205_CR26","first-page":"298","volume-title":"GPCE\u201904. LNCS, vol. 3286","author":"A. Vizhanyo","year":"2004","unstructured":"Vizhanyo A., Agrawal A., Shi F.: Towards generation of efficient transformations. In: Karsai, G., Visser, E. (eds) GPCE\u201904. LNCS, vol. 3286, pp. 298\u2013316. Springer, New York (2004)"},{"key":"205_CR27","unstructured":"http:\/\/www.isis.vanderbilt.edu\/projects\/gme\/ . 6 Dec 2008"},{"issue":"3","key":"205_CR28","first-page":"1","volume":"9","author":"D. Blostein","year":"1999","unstructured":"Blostein D., Sch\u00fcrr A.: Computing with graphs and graph rewriting. SPE 9(3), 1\u201321 (1999)","journal-title":"SPE"},{"key":"205_CR29","doi-asserted-by":"crossref","unstructured":"Z\u00fcndorf, A.: Graph pattern matching in PROGRES. In: Ehrig, H., Engels, G., Rozenberg, G. (eds.) Graph Grammars and Their Application to Computer Science. LNCS, vol. 1073, pp. 454\u2013468. Springer, Williamsburg, November 1994","DOI":"10.1007\/3-540-61228-9_105"},{"key":"205_CR30","unstructured":"Z\u00fcndorf, A.: Implementation of the imperative\/rule based language PROGRES. Department of Computer Science III, Aachen University of Technology, Germany, Aachener Informatik-Berichte 92-38 (1992)"},{"key":"205_CR31","doi-asserted-by":"crossref","unstructured":"Fischer, T., Niere, J., Turunski, L., Z\u00fcndorf, A.: Story diagrams: a new graph rewrite language based on the Unified Modelling Language and Java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Theory and Application of Graph Transformations. LNCS, vol. 1764, pp. 296\u2013309. Springer, Paderborn, November 2000","DOI":"10.1007\/978-3-540-46464-8_21"},{"key":"205_CR32","doi-asserted-by":"crossref","unstructured":"Burmester, S., Giese, H., Hirsch, M., Schilling, D., Tichy, M.: The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. In: Proceedings of the 27th International Conference on Software Engineering ICSE \u201905, pp. 670\u2013671. ACM, New York (2005)","DOI":"10.1145\/1062455.1062601"},{"key":"205_CR33","doi-asserted-by":"crossref","unstructured":"Henkler, S., Greenyer, J., Hirsch, M., Sch\u00e4fer, W., Alhawash, K., Eckardt, T., Heinzemann, C., Loffler, R., Seibel, A., Giese, H.: Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. In: ICSE \u201909, pp. 615\u2013618. IEEE Computer Society (2009)","DOI":"10.1109\/ICSE.2009.5070569"},{"key":"205_CR34","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Tinhofer, G. (ed.) Graph-Theoretic Concepts in Computer Science. LNCS, vol. 903, pp. 151\u2013163. Springer, Heidelberg, June 1994","DOI":"10.1007\/3-540-59071-4_45"},{"key":"205_CR35","unstructured":"4th International Workshop on Graph-Based Tools: The Contest. September 2008\/07\/21. [Online]. http:\/\/www.fots.ua.ac.be\/events\/grabats2008\/"},{"key":"205_CR36","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: AGG: a graph transformation environment for modeling and validation of software. In: AGTIVE\u201903. LNCS, vol. 3062, pp. 446\u2013453. Springer, New York (2004)","DOI":"10.1007\/978-3-540-25959-6_35"},{"key":"205_CR37","unstructured":"Muliawan, O., Schippers, H., Van Gorp, P.: Model driven, Template based, Model Transformer (MoTMoT). http:\/\/motmot.sourceforge.net (2005)"},{"issue":"3","key":"205_CR38","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3 D., Balogh A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."},{"key":"205_CR39","doi-asserted-by":"crossref","unstructured":"Syriani, E., Vangheluwe, H.: Programmed graph rewriting with time for simulation-based design. In: Pierantonio, A., Vallecillo, A., B\u00e9zivin, J., Gray, J. (eds.) ICMT\u201908. LNCS, vol. 5063, pp. 91\u2013106. Springer, Z\u00fcrich, July 2008","DOI":"10.1007\/978-3-540-69927-9_7"},{"key":"205_CR40","unstructured":"Syriani, E.: A multi-paradigm foundation for model transformation language engineering. Ph.D. Thesis, McGill University, February 2011"},{"key":"205_CR41","first-page":"107","volume-title":"ICMT\u201908. LNCS, vol. 5063","author":"I. R\u00e1th","year":"2008","unstructured":"R\u00e1th I., Bergmann G., \u00d6kr\u00f6s A., Varr\u00f3 D.: Live model transformations driven by incremental pattern matching. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds) ICMT\u201908. LNCS, vol. 5063, pp. 107\u2013121. Springer, New York (2008)"},{"key":"205_CR42","doi-asserted-by":"crossref","unstructured":"Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems. In: MoDELS\u201906. LNCS, pp. 321\u2013335 (2006)","DOI":"10.1007\/11880240_23"},{"key":"205_CR43","unstructured":"Feng, T.H.: Model transformation with hierarchical discrete-event control. Ph.D. Thesis, EECS Department, University of California, Berkeley, USA, May 2009"},{"key":"205_CR44","unstructured":"Simulink User\u2019s Guide. MathWorks, Natick, USA. March 2010"},{"key":"205_CR45","unstructured":"Dormoy, F.X.: SCADE 6: A Model Based Solution for Safety Critical Software Development. Esterel Technologies, Toulouse (2007)"},{"key":"205_CR46","first-page":"55","volume":"13","author":"A.C.-H. Chow","year":"1996","unstructured":"Chow A.C.-H., Zeigler B.P.: Parallel DEVS: a parallel, hierarchical, modular modeling formalism. TSCS 13, 55\u201367 (1996)","journal-title":"TSCS"},{"key":"205_CR47","doi-asserted-by":"crossref","unstructured":"Hunicke, R.: The case for dynamic difficulty adjustment in games. In: Proccedings of the ACM SIGCHI International Conference on Advances in Computer Entertainment Technology, pp. 429\u2013433. ACM, Valencia (2005)","DOI":"10.1145\/1178477.1178573"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0205-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-011-0205-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0205-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T08:42:35Z","timestamp":1560242555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-011-0205-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,7]]},"references-count":47,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,5]]}},"alternative-id":["205"],"URL":"https:\/\/doi.org\/10.1007\/s10270-011-0205-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,7]]}}}