{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T10:52:46Z","timestamp":1761562366030,"version":"3.38.0"},"reference-count":46,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2018,4,13]],"date-time":"2018-04-13T00:00:00Z","timestamp":1523577600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"funder":[{"DOI":"10.13039\/501100006668","name":"Fondo para la Investigaci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","doi-asserted-by":"publisher","award":["PICT-2014-2200"],"award-info":[{"award-number":["PICT-2014-2200"]}],"id":[{"id":"10.13039\/501100006668","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2019,1]]},"abstract":"<jats:p> Discrete Event System Specification (DEVS) is a modular and hierarchical formalism for system modeling and simulation. DEVS models can be mathematically described; simulation is performed by tools called concrete simulators. Concerning atomic DEVS models, each concrete simulator has its own input language which is, essentially, a general-purpose programming language (such as Java or C++). Hence, once engineers have written the mathematical model, they need to manually translate it into the input language of the concrete simulator of their choice. In this paper we present a multi-target compiler for atomic DEVS models written in CML-DEVS, a mathematics-based DEVS modeling language. This multi-target compiler is able to compile a CML-DEVS model to the input languages of the PowerDEVS and DEVS-Suite concrete simulators. In this way, the CML-DEVS compiler frees engineers from the manual translation of their mathematical models. In fact, the same mathematical model can be simulated on both simulators by simply recompiling the model. The CML-DEVS multi-target compiler can be easily extended to produce code for other concrete simulators. <\/jats:p>","DOI":"10.1177\/0037549718765080","type":"journal-article","created":{"date-parts":[[2018,4,13]],"date-time":"2018-04-13T14:27:03Z","timestamp":1523629623000},"page":"11-29","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":9,"title":["A multi-target compiler for CML-DEVS"],"prefix":"10.1177","volume":"95","author":[{"given":"Maximiliano","family":"Cristi\u00e1","sequence":"first","affiliation":[{"name":"Universidad Nacional de Rosario and CIFASIS, Rosario, Argentina"}]},{"given":"Diego A.","family":"Hollmann","sequence":"additional","affiliation":[{"name":"CIFASIS-CONICET, Rosario, Argentina"}]},{"given":"Claudia","family":"Frydman","sequence":"additional","affiliation":[{"name":"Aix Marseille Universit\u00e9, CNRS, ENSAM, Universit\u00e9 de Toulon, LSIS UMR 7296,13397, France"}]}],"member":"179","published-online":{"date-parts":[[2018,4,13]]},"reference":[{"volume-title":"Theory of modeling and simulation","year":"2000","author":"Zeigler BP","key":"bibr1-0037549718765080"},{"volume-title":"DEVS-C++ reference guide","year":"1997","author":"Cho HJ","key":"bibr2-0037549718765080"},{"volume-title":"DEVSim++ user\u2019s manual. C++ based simulation with hierarchical modular DEVS Models","year":"1994","author":"Kim TG.","key":"bibr3-0037549718765080"},{"key":"bibr4-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1002\/spe.482"},{"key":"bibr5-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1177\/0037549710368029"},{"key":"bibr6-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1016\/j.envsoft.2003.08.016"},{"volume-title":"Proceedings of the 2009 spring simulation multiconference, SpringSim 2009","year":"2009","author":"Kim S","key":"bibr7-0037549718765080"},{"first-page":"55","volume-title":"AIS-CMS international modeling and simulation multiconference","author":"Hamri MEA","key":"bibr8-0037549718765080"},{"key":"bibr9-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2015.06.007"},{"volume-title":"The Z notation: a reference manual","year":"1992","author":"Spivey JM.","key":"bibr10-0037549718765080"},{"key":"bibr11-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"volume-title":"The TLA+ language and tools for hardware and software engineers","year":"2002","author":"Lamport L.","key":"bibr12-0037549718765080"},{"journal-title":"Introduction to DEVS modeling and simulation with Java: developing component-based simulation models","year":"2003","author":"Zeigler BP","key":"bibr13-0037549718765080"},{"key":"bibr14-0037549718765080","unstructured":"Fal L, Vasconcelos G. Simulation of discrete event systems: course assignment 1. wainer\/wbgraf\/samples\/airconditionPARALLEL.zip (2004, accessed 20 March 2018)."},{"key":"bibr15-0037549718765080","unstructured":"Vangheluwe H. The Discrete EVent System specification (DEVS) formalism. http:\/\/msdl.cs.mcgill.ca\/people\/hv\/teaching\/MoSIS\/notes.DEVS.pdf (accessed 20 March 2018)."},{"key":"bibr16-0037549718765080","unstructured":"Saadawi H. SYSC-5807: Methodological aspects of modeling and simulation \u2013 course assignment 1. www.sce.carleton.ca\/faculty\/wainer\/wbgraf\/samples\/atm.zip (accessed 20 March 2018)."},{"key":"bibr17-0037549718765080","unstructured":"Herrero G. Simulation of discrete event systems: course assignment 1. www.sce.carleton.ca\/faculty\/wainer\/wbgraf\/samples\/Elevator.zip (accessed 20 March 2018)."},{"volume-title":"Continuous system simulation","year":"2006","author":"Cellier FE","key":"bibr18-0037549718765080"},{"key":"bibr19-0037549718765080","unstructured":"Wainer G. SYSC-5104: Methodologies for discrete-event modelling and simulation. www.sce.carleton.ca\/courses\/sysc-5104\/materials\/private\/Lecture5.ppt (accessed 20 March 2018)."},{"key":"bibr20-0037549718765080","unstructured":"Gu F. CSC 754: System simulation topics. www.cs.csi.cuny.edu\/_gu\/teaching\/courses\/csc754\/csc754.html (20 March 2018)."},{"key":"bibr21-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010000313106"},{"volume-title":"The definitive ANTLR 4 reference","year":"2013","author":"Parr T.","key":"bibr22-0037549718765080"},{"volume-title":"Design patterns: elements of reusable object-oriented software","year":"1995","author":"Gamma E","key":"bibr23-0037549718765080"},{"key":"bibr24-0037549718765080","doi-asserted-by":"crossref","unstructured":"Parr TJ. Enforcing strict model-view separation in template engines. In: Feldman SI, Uretsky M, Najork M, et al. (eds) Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, USA, May 17\u201320, 2004, pp.224\u2013233. New York: ACM, 2004.","DOI":"10.1145\/988672.988703"},{"key":"bibr25-0037549718765080","unstructured":"DEVS Standardization Group. http:\/\/cell-devs.sce.carleton.ca\/devsgroup (accessed 20 March 2018)."},{"key":"bibr26-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1201\/b10412"},{"volume-title":"Proceedings of the 2009 spring simulation multiconference, SpringSim 2009","year":"2009","author":"Touraille L","key":"bibr27-0037549718765080"},{"key":"bibr28-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2005.04.008"},{"key":"bibr29-0037549718765080","first-page":"17","volume-title":"2012 spring simulation multiconference, SpringSim \u201812","author":"Mittal S","year":"2012"},{"first-page":"616","volume-title":"Proceedings of the 34th winter simulation conference: exploring new frontiers","author":"Fishwick PA.","key":"bibr30-0037549718765080"},{"first-page":"1813","volume-title":"Proceedings of the 37th winter simulation conference","author":"R\u00f6hl M","key":"bibr31-0037549718765080"},{"key":"bibr32-0037549718765080","first-page":"266","volume-title":"2011 spring simulation multi-conference, SpringSim \u201811","volume":"4","author":"Sarjoughian HS","year":"2011"},{"volume-title":"7\u00e8me Conf\u00e9rence on Mod\u00e9lisation, Optimisation et Simulation des Syst\u00e8mes MOSIM 08","author":"Cristi\u00e1 M","key":"bibr33-0037549718765080"},{"key":"bibr34-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1109\/32.328993"},{"issue":"8","key":"bibr35-0037549718765080","first-page":"102","volume":"40","author":"Hatton L.","year":"2007","journal-title":"The chimera of software quality. IEEE Computer"},{"key":"bibr36-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1063\/1.1881898"},{"key":"bibr37-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1126\/science.1231535"},{"key":"bibr38-0037549718765080","doi-asserted-by":"publisher","DOI":"10.2200\/S00441ED1V01Y201208SWE001"},{"key":"bibr39-0037549718765080","first-page":"10","author":"Vangheluwe H.","year":"2008","journal-title":"ECEASST"},{"key":"bibr40-0037549718765080","volume":"21","author":"K\u00fchne T","year":"2009","journal-title":"ECEASST"},{"key":"bibr41-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1145\/2699714"},{"key":"bibr42-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2010.5679131"},{"key":"bibr43-0037549718765080","doi-asserted-by":"publisher","DOI":"10.1145\/1878537.1878714"},{"first-page":"3048","volume-title":"Winter simulation conference 2011, WSC\u201911","author":"Cetinkaya D","key":"bibr44-0037549718765080"},{"key":"bibr45-0037549718765080","unstructured":"Touraille L. Application of model-driven engineering and metaprogramming to DEVS modeling & simulation. Doctoral dissertation, Universit\u00e9 d\u2019Auvergne, France, 2012."},{"volume-title":"Proceedings of the 2009 spring simulation multiconference, SpringSim 2009","year":"2009","author":"Wainer GA","key":"bibr46-0037549718765080"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549718765080","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0037549718765080","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549718765080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T20:47:55Z","timestamp":1740948475000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549718765080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,13]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,1]]}},"alternative-id":["10.1177\/0037549718765080"],"URL":"https:\/\/doi.org\/10.1177\/0037549718765080","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"type":"print","value":"0037-5497"},{"type":"electronic","value":"1741-3133"}],"subject":[],"published":{"date-parts":[[2018,4,13]]}}}