{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:24:35Z","timestamp":1725560675213},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/pesos.2012.6225935","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:24:53Z","timestamp":1341854693000},"page":"22-28","source":"Crossref","is-referenced-by-count":1,"title":["Local model learning for asynchronous services"],"prefix":"10.1109","author":[{"given":"Casandra","family":"Holotescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2010.9.3.a3"},{"key":"17","article-title":"Angluin-style learning of NFA","author":"bollig","year":"2009","journal-title":"IJCAI"},{"key":"18","article-title":"Learning finite state models of observable nondeterministic systems in a testing context","author":"el-fakih","year":"2010","journal-title":"ICTSS"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0111-8"},{"key":"16","article-title":"Libalf: The automata learning framework","author":"bollig","year":"2010","journal-title":"CAV"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16558-0_53"},{"journal-title":"An Architectural Approach to the Automatic Composition and Adaptation of Software Components","year":"2005","author":"tivoli","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382401"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070542"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831719"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595719"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1808984.1808996"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11623-0_19"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25535-9_8"},{"key":"3","article-title":"Automated composition of web services: The astro approach","author":"marconi","year":"2008","journal-title":"IEEE Data Eng Bull"},{"key":"2","article-title":"Automatic service composition and synthesis: The roman model","author":"calvanese","year":"2008","journal-title":"Bull of the IEEE"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/b12001"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054108005759"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78743-3_24"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68524-1_16"},{"key":"5","article-title":"Black-box checking","author":"peled","year":"1999","journal-title":"In FORTE\/PSTV99"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31875-7_9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_6"}],"event":{"name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","start":{"date-parts":[[2012,6,4]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,4]]}},"container-title":["2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6219097\/6225929\/06225935.pdf?arnumber=6225935","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:01:13Z","timestamp":1490112073000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6225935\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/pesos.2012.6225935","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}