{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:23Z","timestamp":1750220603799,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3419804.3420265","type":"proceedings-article","created":{"date-parts":[[2020,10,18]],"date-time":"2020-10-18T10:23:21Z","timestamp":1603016601000},"page":"45-53","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An attempt to convert BPMN models to SDL"],"prefix":"10.1145","author":[{"given":"Mihal","family":"Brumbulli","sequence":"first","affiliation":[{"name":"PragmaDev, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Gaudin","sequence":"additional","affiliation":[{"name":"PragmaDev, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Madis Abel. 2011. Lightning fast business process simulator. Master's thesis. Institute of Computer Science University of Tartu.  Madis Abel. 2011. Lightning fast business process simulator. Master's thesis. Institute of Computer Science University of Tartu."},{"key":"e_1_3_2_1_2_1","unstructured":"Juan Carlos Polanco Aguilar Koji Hasebe Manuel Mazzara and Kazuhiko Kato. 2016. Model Checking of BPMN Models for Reconfigurable Workflows. CoRR (2016).  Juan Carlos Polanco Aguilar Koji Hasebe Manuel Mazzara and Kazuhiko Kato. 2016. Model Checking of BPMN Models for Reconfigurable Workflows. CoRR (2016)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2016.09.282"},{"key":"e_1_3_2_1_4_1","volume-title":"BPMN 2012, Vienna, Austria, September 12-13, 2012. Proceedings (Lecture Notes in Business Information Processing","volume":"106","author":"Allweyer Thomas","year":"2012"},{"volume-title":"Complex Systems Design & Management, Guy Andr\u00e9 Boy","author":"Brumbulli Mihal","key":"e_1_3_2_1_5_1"},{"volume-title":"Automatic Verification of BPMN Models. In 10th European Congress on Embedded Real Time Software and Systems (ERTS","year":"2020","author":"Brumbulli Mihal","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","unstructured":"ITU-T. 2019. Specification and Description Language -- Overview of SDL-2010. ITU-T Recommendation Z.100. International Telecommunication Union -- Telecommunication Standardization Sector. http:\/\/handle.itu.int\/11.1002\/1000\/14048.  ITU-T. 2019. Specification and Description Language -- Overview of SDL-2010. ITU-T Recommendation Z.100. International Telecommunication Union -- Telecommunication Standardization Sector. http:\/\/handle.itu.int\/11.1002\/1000\/14048."},{"key":"e_1_3_2_1_8_1","volume-title":"IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings (Lecture Notes in Computer Science","volume":"331","author":"Krishna Ajay","year":"2017"},{"key":"e_1_3_2_1_9_1","unstructured":"OMG. 2014. OMG Business Process Model and Notation (BPMN). Version 2.0.2. OMG Standard. Object Management Group. https:\/\/www.omg.org\/spec\/BPMN\/2.0.  OMG. 2014. OMG Business Process Model and Notation (BPMN). Version 2.0.2. OMG Standard. Object Management Group. https:\/\/www.omg.org\/spec\/BPMN\/2.0."},{"volume-title":"New Advances in Information Systems and Technologies -","year":"2016","author":"Pereira Jos\u00e9 Lu\u00eds","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","unstructured":"Kristina Rosenthal Benjamin Ternes and Stefan Strecker. 2018. Business Process Simulation: A Systematic Literature Review. In ECIS.  Kristina Rosenthal Benjamin Ternes and Stefan Strecker. 2018. Business Process Simulation: A Systematic Literature Review. In ECIS."},{"volume-title":"Overview of Verification Tools for Business Process Models. In Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017","year":"2017","author":"Suchenia Anna","key":"e_1_3_2_1_12_1"}],"event":{"name":"SAM '20: 12th System Analysis and Modelling Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Canada","acronym":"SAM '20"},"container-title":["Proceedings of the 12th System Analysis and Modelling Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3419804.3420265","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3419804.3420265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:32:03Z","timestamp":1750195923000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3419804.3420265"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":12,"alternative-id":["10.1145\/3419804.3420265","10.1145\/3419804"],"URL":"https:\/\/doi.org\/10.1145\/3419804.3420265","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}