{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:46Z","timestamp":1750307146658,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,20]],"date-time":"2011-06-20T00:00:00Z","timestamp":1308528000000},"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":[[2011,6,20]]},"DOI":"10.1145\/2000229.2000251","type":"proceedings-article","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T17:34:50Z","timestamp":1309282490000},"page":"149-158","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["A compositional method for reliability analysis of workflows affected by multiple failure modes"],"prefix":"10.1145","author":[{"given":"Salvatore","family":"Distefano","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Messina, Messina, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Filieri","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,6,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"OASIS Committee Draft","author":"Alves A.","year":"2006","unstructured":"A. Alves , A. Arkin , S. Askary , B. Bloch , F. Curbera , Y. Goland , N. Kartha , Sterling, D. K\u00f6nig , V. Mehta , S. Thatte , D. van der Rijn, P. Yendluri, and A. Yiu. Web services business process execution language version 2.0 . OASIS Committee Draft , May 2006 . A. Alves, A. Arkin, S. Askary, B. Bloch, F. Curbera, Y. Goland, N. Kartha, Sterling, D. K\u00f6nig, V. Mehta, S. Thatte, D. van der Rijn, P. Yendluri, and A. Yiu. Web services business process execution language version 2.0. OASIS Committee Draft, May 2006."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. of International Symposium on Software Reliability Engineering. IEEE","author":"Ammar H.","year":"2002","unstructured":"H. Ammar , D. Nassar , W. Abdelmoez , M. Shereshevsky , and A. Mili . A framework for experimental error propagation analysis of software architecture specifications . In Proc. of International Symposium on Software Reliability Engineering. IEEE , 2002 . H. Ammar, D. Nassar, W. Abdelmoez, M. Shereshevsky, and A. Mili. A framework for experimental error propagation analysis of software architecture specifications. In Proc. of International Symposium on Software Reliability Engineering. IEEE, 2002."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_2_1_4_1","volume-title":"Micro-Analysis of Computer System Performance","author":"Beizer B.","year":"1978","unstructured":"B. Beizer . Micro-Analysis of Computer System Performance . John Wiley & Sons, Inc. , New York, NY, USA , 1978 . B. Beizer. Micro-Analysis of Computer System Performance. John Wiley & Sons, Inc., New York, NY, USA, 1978."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007771.55616"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/355592.365646"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.03.001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234477"},{"key":"e_1_3_2_1_10_1","volume-title":"Englewood Cliffs","author":"Cinlar E.","year":"1975","unstructured":"E. Cinlar . Introduction to stochastic processes . Englewood Cliffs , 1975 . E. Cinlar. Introduction to stochastic processes. Englewood Cliffs, 1975."},{"key":"e_1_3_2_1_11_1","first-page":"140","article-title":"A modeling approach to analyze the impact of error propagation on reliability of component-based systems","volume":"4608","author":"Cortellessa V.","year":"2007","unstructured":"V. Cortellessa and V. Grassi . A modeling approach to analyze the impact of error propagation on reliability of component-based systems . LNCS , 4608 : 140 , 2007 . V. Cortellessa and V. Grassi. A modeling approach to analyze the impact of error propagation on reliability of component-based systems. LNCS, 4608:140, 2007.","journal-title":"LNCS"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584415"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13238-4_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87879-7_8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/851033.856315"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2004.04.003"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/851028.856242"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(01)00034-7"},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/11556169_13","volume-title":"Architecting Dependable Systems III","author":"Grassi V.","year":"2005","unstructured":"V. Grassi . Architecture-based reliability prediction for service-oriented computing . In R. de Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems III , volume 3549 of Lecture Notes in Computer Science , pages 279 -- 299 . Springer Berlin \/ Heidelberg , 2005 . 10.1007\/11556169_13. V. Grassi. Architecture-based reliability prediction for service-oriented computing. In R. de Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems III, volume 3549 of Lecture Notes in Computer Science, pages 279--299. Springer Berlin \/ Heidelberg, 2005. 10.1007\/11556169_13."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.32"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_10"},{"key":"e_1_3_2_1_22_1","volume-title":"A logic for reasoning about time and reliability. Formal aspects of computing, 6(5):512--535","author":"Hansson H.","year":"1994","unstructured":"H. Hansson and B. Jonsson . A logic for reasoning about time and reliability. Formal aspects of computing, 6(5):512--535 , 1994 . H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal aspects of computing, 6(5):512--535, 1994."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1275294"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0040-x"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0040-x"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01702865"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1558897.1558901"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/210376.197409"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00080-8"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999410"},{"key":"e_1_3_2_1_31_1","unstructured":"W. M. C. Specification. Workflow Management Coalition Terminology and Glossary (Document No. WFMC-TC-1011). Number 3.0. Workflow Management Coalition Specification http:\/\/www.wfmc.org\/standards\/docs\/TC-1011_term_glossary_v3.pdf 1999.  W. M. C. Specification. Workflow Management Coalition Terminology and Glossary (Document No. WFMC-TC-1011). Number 3.0. Workflow Management Coalition Specification http:\/\/www.wfmc.org\/standards\/docs\/TC-1011_term_glossary_v3.pdf 1999."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.153381"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1049\/cce:19970607"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018439.1021921"},{"key":"e_1_3_2_1_36_1","volume-title":"Pacific Rim International Symposium on Dependable Computing, IEEE, 0: 143","author":"Wu Y.","year":"1999","unstructured":"W.-L.Wang, Y. Wu , and M.-H. Chen . An architecture-based software reliability model . Pacific Rim International Symposium on Dependable Computing, IEEE, 0: 143 , 1999 . W.-L.Wang, Y. Wu, and M.-H. Chen. An architecture-based software reliability model. Pacific Rim International Symposium on Dependable Computing, IEEE, 0:143, 1999."},{"key":"e_1_3_2_1_37_1","first-page":"265","volume-title":"Process modeling notations and workflow patterns","author":"White S.","year":"2004","unstructured":"S. White . Process modeling notations and workflow patterns , chapter Workflow Handbook, pages 265 -- 294 . Future strategies inc. lighthouse point, fl, usa., 2004 . edition, 2004. S. White. Process modeling notations and workflow patterns, chapter Workflow Handbook, pages 265--294. Future strategies inc. lighthouse point, fl, usa., 2004. edition, 2004."}],"event":{"name":"Comparch '11: Federated Events on Component-Based Software Engineering and Software Architecture","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Boulder Colorado USA","acronym":"Comparch '11"},"container-title":["Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000229.2000251","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2000229.2000251","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:09Z","timestamp":1750240449000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000229.2000251"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,20]]},"references-count":36,"alternative-id":["10.1145\/2000229.2000251","10.1145\/2000229"],"URL":"https:\/\/doi.org\/10.1145\/2000229.2000251","relation":{},"subject":[],"published":{"date-parts":[[2011,6,20]]},"assertion":[{"value":"2011-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}