{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:20Z","timestamp":1750220900657,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,12,9]],"date-time":"2019-12-09T00:00:00Z","timestamp":1575849600000},"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":[[2019,12,9]]},"DOI":"10.1145\/3374549.3374566","type":"proceedings-article","created":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T10:23:34Z","timestamp":1580207014000},"page":"134-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Transforming WS-BPEL into Timed Automata"],"prefix":"10.1145","author":[{"given":"Pramate","family":"Chandratarat","sequence":"first","affiliation":[{"name":"Department of Computer Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiwat","family":"Vatanawood","sequence":"additional","affiliation":[{"name":"Department of Computer Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,1,28]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"33","volume-title":"Towards the Semantics and Verification of BPEL4WS In Electronic Notes in Theoretical Computer Science 151","author":"Pu Geguang","unstructured":"Geguang Pu , Zhao Xiangpeng , Wang Shuling 2006. Towards the Semantics and Verification of BPEL4WS In Electronic Notes in Theoretical Computer Science 151 pp. 33 -- 52 . Geguang Pu, Zhao Xiangpeng, Wang Shuling 2006. Towards the Semantics and Verification of BPEL4WS In Electronic Notes in Theoretical Computer Science 151 pp. 33--52."},{"volume-title":"Proc. of ICWS'04","author":"Wombacher A.","key":"e_1_3_2_1_2_1","unstructured":"A. Wombacher , P. Fankhauser , and E. Neuhold . Transforming BPEL into annotated deterministic finite state automata for service discovery . In Proc. of ICWS'04 ,. A. Wombacher, P. Fankhauser, and E. Neuhold. Transforming BPEL into annotated deterministic finite state automata for service discovery. In Proc. of ICWS'04,."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"M. Koshkina and F. Breugel.2004. Modeling and verifying web service orchestration by means of the concurrency workbench. In ACM SIGSOFT Software Engineering Notes 29(5)  M. Koshkina and F. Breugel.2004. Modeling and verifying web service orchestration by means of the concurrency workbench. In ACM SIGSOFT Software Engineering Notes 29(5)","DOI":"10.1145\/1022494.1022526"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/NPC.2007.55"},{"key":"e_1_3_2_1_5_1","volume-title":"Verification of Event-driven Process Chain with Timed Automata and Time Petri Nets 9th IEEE -GCC Conference and Exhibition","author":"Amjad Anam","year":"2017","unstructured":"Anam Amjad , Farooque Azam , Muhammad Waseem Anwar , 2017 . Verification of Event-driven Process Chain with Timed Automata and Time Petri Nets 9th IEEE -GCC Conference and Exhibition Anam Amjad, Farooque Azam, Muhammad Waseem Anwar, 2017. Verification of Event-driven Process Chain with Timed Automata and Time Petri Nets 9th IEEE -GCC Conference and Exhibition"},{"key":"e_1_3_2_1_6_1","volume-title":"Last Visited: 26th","author":"Standard OASIS","year":"2019","unstructured":"OASIS Standard . April 2007. Web Service Business Process Execution Language Version 2.0. Available: http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf , Last Visited: 26th June 2019 OASIS Standard. April 2007. Web Service Business Process Execution Language Version 2.0. Available: http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf, Last Visited: 26th June 2019"},{"volume-title":"Adobe Senior Computer Scientist\/Architect: Web Services Business Process Execution Language Workshop","author":"K\u00f6nig Dieter","key":"e_1_3_2_1_7_1","unstructured":"Dieter K\u00f6nig , IBM Senior Technical Staff Member , Charlton Barreto , Adobe Senior Computer Scientist\/Architect: Web Services Business Process Execution Language Workshop Dieter K\u00f6nig, IBM Senior Technical Staff Member, Charlton Barreto, Adobe Senior Computer Scientist\/Architect: Web Services Business Process Execution Language Workshop"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_9_1","first-page":"1","volume-title":"Real-Time Systems Lecture 11 Timed Automata","author":"Bernd Westphal Dr.","unstructured":"Dr. Bernd Westphal , Albert- Ludwigs-Universit\u00e4t Freiburg , Germany 2014. Real-Time Systems Lecture 11 Timed Automata pp. 1 -- 32 . Dr. Bernd Westphal, Albert-Ludwigs-Universit\u00e4t Freiburg, Germany 2014. Real-Time Systems Lecture 11 Timed Automata pp. 1--32."},{"key":"e_1_3_2_1_10_1","first-page":"414","volume-title":"LICS'90","year":"1990","unstructured":"Alur, R.etal. 1990 . Model checking for realtime systems.In Logic in Computer Science . LICS'90 , Proceedings., Fifth Annual IEEE Symposium one , pp. 414 -- 425 .IEEE. Alur, R.etal. 1990. Model checking for realtime systems.In Logic in Computer Science. LICS'90, Proceedings., Fifth Annual IEEE Symposium one, pp. 414--425.IEEE."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4236\/jcc.2019.71006"},{"key":"e_1_3_2_1_12_1","volume-title":"Last Visited: 26th","author":"UPPAAL","year":"2019","unstructured":"UPPAAL Official site http:\/\/www.uppaal.org\/ , Last Visited: 26th June 2019 . UPPAAL Official site http:\/\/www.uppaal.org\/, Last Visited: 26th June 2019."},{"key":"e_1_3_2_1_13_1","first-page":"857","volume-title":"Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions","author":"Rodriguez-Navas Guillermo","unstructured":"Guillermo Rodriguez-Navas , 2013. Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions , IEEE TRANSACTIONS ON SOFTWARE ENGINEERING pp 857 -- 866 Guillermo Rodriguez-Navas, 2013. Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING pp 857--866"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Jin Song Dong Ping Hao Shengchao Qin Jun Sun and Wang Yi 2008. Timed Automata Patterns IEEE TRANSACTIONS ON SOFTWARE ENGINEERING VOL. 34 NO. 6.  Jin Song Dong Ping Hao Shengchao Qin Jun Sun and Wang Yi 2008. Timed Automata Patterns IEEE TRANSACTIONS ON SOFTWARE ENGINEERING VOL. 34 NO. 6.","DOI":"10.1109\/TSE.2008.52"}],"event":{"name":"ICSEB 2019: 2019 The 3rd International Conference on Software and e-Business","sponsor":["Waseda University Waseda University"],"location":"Tokyo Japan","acronym":"ICSEB 2019"},"container-title":["Proceedings of the 2019 3rd International Conference on Software and e-Business"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3374549.3374566","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3374549.3374566","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:44Z","timestamp":1750203884000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3374549.3374566"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,9]]},"references-count":14,"alternative-id":["10.1145\/3374549.3374566","10.1145\/3374549"],"URL":"https:\/\/doi.org\/10.1145\/3374549.3374566","relation":{},"subject":[],"published":{"date-parts":[[2019,12,9]]},"assertion":[{"value":"2020-01-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}