{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:50:12Z","timestamp":1761706212730,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,17]]},"DOI":"10.1145\/1145718.1145720","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"10-16","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Towards self-adaptive service-oriented architectures"],"prefix":"10.1145","author":[{"given":"G.","family":"Denaro","sequence":"first","affiliation":[{"name":"Universit\u00e1 di Milano Bicocca, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Pezz\u00e9","sequence":"additional","affiliation":[{"name":"Universit\u00e1 di Milano Bicocca, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Tosi","sequence":"additional","affiliation":[{"name":"Universit\u00e1 di Milano Bicocca, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Schilling","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/java.sun.com\/developer\/releases\/petstore\/, last visit","author":"The","year":"2005","unstructured":"The java petstore application home page : http:\/\/java.sun.com\/developer\/releases\/petstore\/, last visit : December , 2005 . The java petstore application home page: http:\/\/java.sun.com\/developer\/releases\/petstore\/, last visit: December, 2005."},{"key":"e_1_3_2_1_2_1","volume-title":"http:\/\/www.amazon.com\/webservices, last visit","author":"Amazon","year":"2006","unstructured":"Amazon web services home page : http:\/\/www.amazon.com\/webservices, last visit : February , 2006 . Amazon web services home page: http:\/\/www.amazon.com\/webservices, last visit: February, 2006."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035195"},{"key":"e_1_3_2_1_4_1","first-page":"11","volume-title":"Proceedings of the First Conference on the Principles of Software Engineering (PRISE'04)","author":"Baresi L.","year":"2004","unstructured":"L. Baresi , C. Ghezzi , and S. Guinea . Towards self-healing sevice compositions . In Proceedings of the First Conference on the Principles of Software Engineering (PRISE'04) , pages 11 -- 20 , 2004 . L. Baresi, C. Ghezzi, and S. Guinea. Towards self-healing sevice compositions. In Proceedings of the First Conference on the Principles of Software Engineering (PRISE'04), pages 11--20, 2004."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11596141_21"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 1st International Workshop on Foundations of Interface Technologies (FIT 2005","author":"Beyer D.","year":"2005","unstructured":"D. Beyer , A. Chakrabarti , and T. A. Henzinger . An interface formalism for web services . In Proceedings of the 1st International Workshop on Foundations of Interface Technologies (FIT 2005 , San Francisco, CA, August 21), to appear, ENTCS. Elsevier , 2005 . D. Beyer, A. Chakrabarti, and T. A. Henzinger. An interface formalism for web services. In Proceedings of the 1st International Workshop on Foundations of Interface Technologies (FIT 2005, San Francisco, CA, August 21), to appear, ENTCS. Elsevier, 2005."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060770"},{"key":"e_1_3_2_1_8_1","first-page":"591","article-title":"On the synthesis of finite-state machines from samples of their behaviour","volume":"21","author":"Biermann A. W.","year":"1972","unstructured":"A. W. Biermann and J. A. Feldman . On the synthesis of finite-state machines from samples of their behaviour . IEEE Trans Computers , 21 : 591 -- 597 , 1972 . A. W. Biermann and J. A. Feldman. On the synthesis of finite-state machines from samples of their behaviour. IEEE Trans Computers, 21:591--597, 1972.","journal-title":"IEEE Trans Computers"},{"key":"e_1_3_2_1_9_1","volume-title":"2005 IEEE International Conference on Web Services (ICWS 2005","author":"Chang C. K.","year":"2005","unstructured":"C. K. Chang , editor. 2005 IEEE International Conference on Web Services (ICWS 2005 ), 11--15 July 2005 , Orlando, FL, USA. IEEE Computer Society , 2005. C. K. Chang, editor. 2005 IEEE International Conference on Web Services (ICWS 2005), 11--15 July 2005, Orlando, FL, USA. IEEE Computer Society, 2005."},{"key":"e_1_3_2_1_10_1","volume-title":"Web Services Description Language (WSDL) 1.1. Technical report","author":"Christensen E.","year":"2001","unstructured":"E. Christensen , F. Curbera , G. Meredith , and S. Weerawarana . Web Services Description Language (WSDL) 1.1. Technical report , World Wide Web Consortium , March 2001 . E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web Services Description Language (WSDL) 1.1. Technical report, World Wide Web Consortium, March 2001."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009386.1010221"},{"key":"e_1_3_2_1_13_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/11574620","volume-title":"The Semantic Web - ISWC","author":"Gil Y.","year":"2005","unstructured":"Y. Gil , E. Motta , V. R. Benjamins , and M. A. Musen , editors . The Semantic Web - ISWC 2005 , 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6--10, 2005, Proceedings, volume 3729 of Lecture Notes in Computer Science . Springer , 2005. Y. Gil, E. Motta, V. R. Benjamins, and M. A. Musen, editors. The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6--10, 2005, Proceedings, volume 3729 of Lecture Notes in Computer Science. Springer, 2005."},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b136731","volume-title":"Second European Semantic Web Conference, ESWC","author":"G\u00f3mez-P\u00e9rez A.","year":"2005","unstructured":"A. G\u00f3mez-P\u00e9rez and J. Euzenat , editors . The Semantic Web: Research and Applications , Second European Semantic Web Conference, ESWC 2005 , Heraklion, Crete, Greece , May 29 - June 1, 2005, Proceedings, volume 3532 of Lecture Notes in Computer Science . Springer , 2005. A. G\u00f3mez-P\u00e9rez and J. Euzenat, editors. The Semantic Web: Research and Applications, Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29 - June 1, 2005, Proceedings, volume 3532 of Lecture Notes in Computer Science. Springer, 2005."},{"key":"e_1_3_2_1_15_1","volume-title":"Inference of component protocols by the kbehavior algorithm. Technical report TR LTA:2004:05","author":"Mariani L.","year":"2004","unstructured":"L. Mariani and M. Pezz\u00e8 . Inference of component protocols by the kbehavior algorithm. Technical report TR LTA:2004:05 , University of Milano Bicocca , 2004 . L. Mariani and M. Pezz\u00e8. Inference of component protocols by the kbehavior algorithm. Technical report TR LTA:2004:05, University of Milano Bicocca, 2004."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988746"},{"key":"e_1_3_2_1_17_1","volume-title":"Technical report","author":"Choreography C. Web Service","year":"2002","unstructured":"W3 C. Web Service Choreography Interface (WSCI) 1.0. Technical report , World Wide Web Consortium Note , August 2002 . W3C. Web Service Choreography Interface (WSCI) 1.0. Technical report, World Wide Web Consortium Note, August 2002."},{"key":"e_1_3_2_1_18_1","unstructured":"W3C. Web Ontology Language (OWL) - Reference Version 1.0 2002. Available at http:\/\/www.w3.org\/TR\/2002\/WD-owl-ref-20021112\/.  W3C. Web Ontology Language (OWL) - Reference Version 1.0 2002. Available at http:\/\/www.w3.org\/TR\/2002\/WD-owl-ref-20021112\/."}],"event":{"name":"ISSTA06: International Symposium on Software Testing and Analysis 2006","acronym":"ISSTA06","location":"Portland Maine"},"container-title":["Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1145718.1145720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T04:48:32Z","timestamp":1673585312000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1145718.1145720"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,17]]},"references-count":18,"alternative-id":["10.1145\/1145718.1145720","10.1145\/1145718"],"URL":"https:\/\/doi.org\/10.1145\/1145718.1145720","relation":{},"subject":[],"published":{"date-parts":[[2006,7,17]]},"assertion":[{"value":"2006-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}