{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T17:33:28Z","timestamp":1770485608381,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,18]],"date-time":"2013-08-18T00:00:00Z","timestamp":1376784000000},"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,8,18]]},"DOI":"10.1145\/2491411.2491441","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"59-69","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Adequate monitoring of service compositions"],"prefix":"10.1145","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[{"name":"ISTI-CNR, Italy"}]},{"given":"Eda","family":"Marchetti","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Italy"}]},{"given":"Andrea","family":"Morichetta","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Italy"}]}],"member":"320","published-online":{"date-parts":[[2013,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Web service choreography interface (WSCI) 1.0. http:\/\/www.w3.org\/TR\/wsci\/.  Web service choreography interface (WSCI) 1.0. http:\/\/www.w3.org\/TR\/wsci\/."},{"key":"e_1_3_2_1_2_1","first-page":"288","volume-title":"Innovations and Advanced Techniques in Computer and Information Sciences and Engineering","author":"Ardissono L.","unstructured":"L. Ardissono , R. Furnari , A. Goy , G. Petrone , and M. Segnan . Monitoring choreographed services . In Innovations and Advanced Techniques in Computer and Information Sciences and Engineering , pages 283\u2013 288 . Springer Netherlands, 2007. L. Ardissono, R. Furnari, A. Goy, G. Petrone, and M. Segnan. Monitoring choreographed services. In Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, pages 283\u2013288. Springer Netherlands, 2007."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25535-9_28"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480713"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","first-page":"27","volume-title":"Testing of Software and Communicating Systems","author":"Benharref A.","unstructured":"A. Benharref , R. Dssouli , M. Serhani , A. En-Nouaary , and R. Glitho . New approach for EFSM-based passive testing of web services . In A. Petrenko, M. Veanes, J. Tretmans, and W. Grieskamp, editors, Testing of Software and Communicating Systems , volume 4581 of Lecture Notes in Computer Science , pages 13\u2013 27 . Springer Berlin Heidelberg, 2007. A. Benharref, R. Dssouli, M. Serhani, A. En-Nouaary, and R. Glitho. New approach for EFSM-based passive testing of web services. In A. Petrenko, M. Veanes, J. Tretmans, and W. Grieskamp, editors, Testing of Software and Communicating Systems, volume 4581 of Lecture Notes in Computer Science, pages 13\u201327. Springer Berlin Heidelberg, 2007."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978582.1978598"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2005.55"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(03)00063-6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.100"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.91"},{"key":"e_1_3_2_1_11_1","unstructured":"Drools Fusion: Complex Event Processor. http:\/\/www.jboss.org\/drools\/drools-fusion.html.  Drools Fusion: Complex Event Processor. http:\/\/www.jboss.org\/drools\/drools-fusion.html."},{"key":"e_1_3_2_1_12_1","first-page":"264","volume-title":"L. Baresi and E. Di Nitto","author":"Ghezzi C.","unstructured":"C. Ghezzi and S. Guinea . Run-time monitoring in service-oriented architectures . In L. Baresi and E. Di Nitto , editors, Test and Analysis of Web Services , pages 237\u2013 264 . Springer, 2007. C. Ghezzi and S. Guinea. Run-time monitoring in service-oriented architectures. In L. Baresi and E. Di Nitto, editors, Test and Analysis of Web Services, pages 237\u2013264. Springer, 2007."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312836"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25535-9_5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/13677.22723"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/850935.852443"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2010.21"},{"key":"e_1_3_2_1_18_1","volume-title":"Inc.","author":"Mansouri-Samani M.","year":"1994","unstructured":"M. Mansouri-Samani and M. Sloman . Monitoring distributed systems. In Network and distributed systems management, pages 303\u2013347. Addison-Wesley Longman Publishing Co ., Inc. , Boston, MA, USA , 1994 . M. Mansouri-Samani and M. Sloman. Monitoring distributed systems. In Network and distributed systems management, pages 303\u2013347. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1994."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808984.1808987"},{"key":"e_1_3_2_1_20_1","volume-title":"Software reliability","author":"Musa J. D.","year":"1987","unstructured":"J. D. Musa , A. Iannino , and K. Okumoto . Software reliability . McGraw-Hill New York , 1987 . J. D. Musa, A. Iannino, and K. Okumoto. Software reliability. McGraw-Hill New York, 1987."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.400"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1981.220255"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2011.81"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1497308.1497424"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100105"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"}],"event":{"name":"ESEC\/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Saint Petersburg Russia","acronym":"ESEC\/FSE'13","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491441","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491411.2491441","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:41Z","timestamp":1750231721000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491441"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,18]]},"references-count":27,"alternative-id":["10.1145\/2491411.2491441","10.1145\/2491411"],"URL":"https:\/\/doi.org\/10.1145\/2491411.2491441","relation":{},"subject":[],"published":{"date-parts":[[2013,8,18]]},"assertion":[{"value":"2013-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}