{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:51Z","timestamp":1750306971553,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,15]],"date-time":"2013-07-15T00:00:00Z","timestamp":1373846400000},"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":[[2013,7,15]]},"DOI":"10.1145\/2489300.2489337","type":"proceedings-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T18:06:58Z","timestamp":1373998018000},"page":"5-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Verification of variable service orchestrations using model checking"],"prefix":"10.1145","author":[{"given":"Selma","family":"Suloglu","sequence":"first","affiliation":[{"name":"Middle East Technical University, Turkey"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riza","family":"Aktunc","sequence":"additional","affiliation":[{"name":"T\u00dcBITAK Software Technologies Research Institute, Turkey"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mustafa","family":"Yucefaydal\u0131","sequence":"additional","affiliation":[{"name":"Middle East Technical University, Turkey"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Erl T. 2005. Service-Oriented Architecture: Concepts Technology and Design Prentice Hall Indiana 1st edition.   Erl T. 2005. Service-Oriented Architecture: Concepts Technology and Design Prentice Hall Indiana 1st edition."},{"key":"e_1_3_2_1_2_1","unstructured":"OASIS 2007. Web Services Business Process Execution Language Specification WS-BPEL. OASIS.  OASIS 2007. Web Services Business Process Execution Language Specification WS-BPEL. OASIS."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.12.002"},{"key":"e_1_3_2_1_4_1","unstructured":"OMG 2011. BPMN 2.0 Specification. OMG.  OMG 2011. BPMN 2.0 Specification. OMG."},{"key":"e_1_3_2_1_5_1","unstructured":"BPMI 2001. Business Process Markup Language Specification BPML. BPMI.  BPMI 2001. Business Process Markup Language Specification BPML. BPMI."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Fensel D. Lausen H. Polleres A. Bruijn J. de Stollberg M. Roman D. Domingue J. 2007. Enabling Semantic Web Services The Web Service Modeling Ontology. Springer.   Fensel D. Lausen H. Polleres A. Bruijn J. de Stollberg M. Roman D. Domingue J. 2007. Enabling Semantic Web Services The Web Service Modeling Ontology. Springer.","DOI":"10.1007\/978-3-540-34520-6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.01.051"},{"volume-title":"TGC 2010, 5th Symposium on Trustworthy Global Computing. Springer.","author":"Lanese I.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28630-1_12"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147254"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68863-1_8"},{"key":"e_1_3_2_1_12_1","unstructured":"Classen A. 2011. Modelling and Model Checking Variability Intensive Systems Doctoral Thesis University of Namur.  Classen A. 2011. Modelling and Model Checking Variability Intensive Systems Doctoral Thesis University of Namur."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.10.005"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1852611.1852641"},{"key":"e_1_3_2_1_15_1","unstructured":"Servais F. 2006. From BPEL to Guarded Automata to Promela Verifying and Testing BPEL Processes Master Thesis. Universit\u00e9 libre de Bruxelles - Universit\u00e9 d'Europe  Servais F. 2006. From BPEL to Guarded Automata to Promela Verifying and Testing BPEL Processes Master Thesis. Universit\u00e9 libre de Bruxelles - Universit\u00e9 d'Europe"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWSM-MENSURA.2011.42"},{"key":"e_1_3_2_1_17_1","unstructured":"WSAT tool 2004. At http:\/\/www.cs.ucsb.edu\/~su\/WSAT\/  WSAT tool 2004. At http:\/\/www.cs.ucsb.edu\/~su\/WSAT\/"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"key":"e_1_3_2_1_19_1","unstructured":"Breugel v. F. Koshkina M. 2007. Models and Verification of BPEL. Research supported by IBM and NSERC.  Breugel v. F. Koshkina M. 2007. Models and Verification of BPEL. Research supported by IBM and NSERC."},{"volume-title":"International Workshop on Web Services Modeling and Testing.","year":"2006","author":"Arc\u00eda-Fanjul J.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","unstructured":"BPEL Verification Tool 2012. At http:\/\/www.redcad.org\/members\/wael.sellami\/bpelvt\/  BPEL Verification Tool 2012. At http:\/\/www.redcad.org\/members\/wael.sellami\/bpelvt\/"},{"volume-title":"Journal of Progress in Informatics","author":"Nakajima","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","unstructured":"Tool for transformation transformation rules user verification VxBPEL specification fPromela code and feature model error content at www.ceng.metu.edu.tr\/~selma\/tool4vxbpel2fpromela.rar  Tool for transformation transformation rules user verification VxBPEL specification fPromela code and feature model error content at www.ceng.metu.edu.tr\/~selma\/tool4vxbpel2fpromela.rar"}],"event":{"name":"ISSTA '13: Iitsnternational Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Lugano Switzerland","acronym":"ISSTA '13"},"container-title":["Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2489300.2489337","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2489300.2489337","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:26Z","timestamp":1750235966000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2489300.2489337"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,15]]},"references-count":23,"alternative-id":["10.1145\/2489300.2489337","10.1145\/2489300"],"URL":"https:\/\/doi.org\/10.1145\/2489300.2489337","relation":{},"subject":[],"published":{"date-parts":[[2013,7,15]]},"assertion":[{"value":"2013-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}