{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:31Z","timestamp":1750308031803,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:00:00Z","timestamp":1188777600000},"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":[[2007,9,3]]},"DOI":"10.1145\/1294928.1294931","type":"proceedings-article","created":{"date-parts":[[2007,10,15]],"date-time":"2007-10-15T12:45:05Z","timestamp":1192452305000},"page":"8-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Discovery of SOA patterns via model checking"],"prefix":"10.1145","author":[{"given":"Massimiliano","family":"Di Penta","sequence":"first","affiliation":[{"name":"RCOST University of Sannio, Via Traiano, Benevento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonella","family":"Santone","sequence":"additional","affiliation":[{"name":"RCOST University of Sannio, Via Traiano, Benevento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Luisa","family":"Villani","sequence":"additional","affiliation":[{"name":"RCOST University of Sannio, Via Traiano, Benevento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"T. Andrews F. Curbera H. Dholakia Y. Goland J. Klein F. Leymann K. Liu D. Roller S. T. D. Smith I. Trickovic and S. Weerawarana. Business process execution language for web services. http:\/\/www-106.ibm.com\/developerworks\/webservices\/library\/ws-bpel\/.  T. Andrews F. Curbera H. Dholakia Y. Goland J. Klein F. Leymann K. Liu D. Roller S. T. D. Smith I. Trickovic and S. Weerawarana. Business process execution language for web services. http:\/\/www-106.ibm.com\/developerworks\/webservices\/library\/ws-bpel\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00061-9"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/STEP.2005.12"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1660"},{"key":"e_1_3_2_1_5_1","first-page":"394","volume-title":"The NCSU Concurrency Workbench. In CAV '96: Proc. of the 8th Int. Conference on Computer Aided Verification","author":"Cleaveland R.","year":"1996","unstructured":"R. Cleaveland and S. Sims . The NCSU Concurrency Workbench. In CAV '96: Proc. of the 8th Int. Conference on Computer Aided Verification , pages 394 -- 397 , London, UK , 1996 . Springer-Verlag. R. Cleaveland and S. Sims. The NCSU Concurrency Workbench. In CAV '96: Proc. of the 8th Int. Conference on Computer Aided Verification, pages 394--397, London, UK, 1996. Springer-Verlag."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2005.23"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277174"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138486.1138502"},{"key":"e_1_3_2_1_10_1","volume-title":"Design Patterns: Elements of Reusable Object Oriented Software","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design Patterns: Elements of Reusable Object Oriented Software . Addison-Wesley , 1995 . E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object Oriented Software. Addison-Wesley, 1995."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.07.004"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1038267.1039049"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/851042.857057"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1022494.1022526"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/525595.836964"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2006.33"},{"key":"e_1_3_2_1_17_1","volume-title":"Communication and concurrency","author":"Milner R.","year":"1989","unstructured":"R. Milner . Communication and concurrency . Prentice-Hall , Upper Saddle River, NJ, USA, 1989 . R. Milner. Communication and concurrency. Prentice-Hall, Upper Saddle River, NJ, USA, 1989."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2007.369022"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240309"},{"key":"e_1_3_2_1_20_1","first-page":"2","volume-title":"Language, And Architecture","author":"Stirling C.","year":"1989","unstructured":"C. Stirling . An Introduction to Modal and Temporal Logics for C CS. In Concurrency : Theory , Language, And Architecture , pages 2 -- 20 , 1989 . C. Stirling. An Introduction to Modal and Temporal Logics for CCS. In Concurrency: Theory, Language, And Architecture, pages 2--20, 1989."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.112"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2004.11"}],"event":{"name":"ESEC\/FSE07: Joint 11th European Software Engineering Conference 2007","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","CEPIS The Council of European Professional Informatics Societies"],"location":"Dubrovnik Croatia","acronym":"ESEC\/FSE07"},"container-title":["2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC\/FSE joint meeting"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1294928.1294931","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1294928.1294931","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:14:07Z","timestamp":1750259647000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1294928.1294931"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,3]]},"references-count":22,"alternative-id":["10.1145\/1294928.1294931","10.1145\/1294928"],"URL":"https:\/\/doi.org\/10.1145\/1294928.1294931","relation":{},"subject":[],"published":{"date-parts":[[2007,9,3]]},"assertion":[{"value":"2007-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}