{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T07:16:39Z","timestamp":1672557399982},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/tr.2014.2315939","type":"journal-article","created":{"date-parts":[[2014,4,10]],"date-time":"2014-04-10T18:02:23Z","timestamp":1397152943000},"page":"689-705","source":"Crossref","is-referenced-by-count":7,"title":["Dependability Assessment of Web Service Orchestrations"],"prefix":"10.1109","volume":"63","author":[{"given":"Salvatore","family":"Distefano","sequence":"first","affiliation":[]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[]},{"given":"Sam","family":"Guinea","sequence":"additional","affiliation":[]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9102-8"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2011.09.002"},{"key":"ref33","author":"distefano","year":"2013","journal-title":"?Dependability Assessment of Web Service Orchestrations?Full Version With Appendices ?"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlp.2007.04.010"},{"key":"ref31","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-34207-3","author":"zheng","year":"2013","journal-title":"QoS Management of Web Services"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2010.10"},{"key":"ref37","author":"nielson","year":"2005","journal-title":"Principles of Program Analysis"},{"key":"ref36","first-page":"136","article-title":"A fast and precise static loop analysis based on abstract interpretation, program slicing and polytope models","author":"lokuciejewski","year":"2009","journal-title":"Proc Int Symp Code Generation Optimization (CGO)"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2012.313"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2004.841707"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/11560333_10","article-title":"Modeling user-perceived service availability","author":"wang","year":"2005","journal-title":"Proc 2nd Int Conf Service Availability"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368104"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1028932"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2007.21"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-006-5966-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806809"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(01)00034-7"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0040-x"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2005.25"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.11"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234477"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/32.153381"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2000229.2000251"},{"key":"ref27","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","year":"2007","journal-title":"LNCS"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-13238-4_1","volume":"6092","author":"filieri","year":"2010","journal-title":"Component-Based Software Engineering"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-007-7020-1"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref5","author":"lyu","year":"1999","journal-title":"Handbook of Software Reliability Engineering"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2003.1209986"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1169091.1169099"},{"key":"ref2","author":"alves","year":"2006","journal-title":"Web Services Business Process Execution Language Version 2 0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2006.65"},{"key":"ref1","year":"2012","journal-title":"Reference Architecture Foundation for Service Oriented Architecture Version 1 0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00080-8"},{"key":"ref22","author":"beizer","year":"1978","journal-title":"Micro-Analysis of Computer System Performance"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/11556169_13","volume":"3549","author":"grassi","year":"2005","journal-title":"Architecting Dependable Systems III"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2001.989455"},{"key":"ref24","author":"cardoso","year":"2002","journal-title":"Quality of Service and Semantic Composition of Workflows"},{"key":"ref41","author":"smith","year":"2002","journal-title":"Performance Solutions A Practical Guide to Creating Responsive Scalable Software"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/978-3-642-02652-2_10","volume":"5578","author":"hahn","year":"2009","journal-title":"Model Checking Software"},{"key":"ref26","first-page":"64","author":"gokhale","year":"2002","journal-title":"ISSRE"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.03.001"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/6887384\/06786416.pdf?arnumber=6786416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:50:30Z","timestamp":1642006230000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6786416\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":42,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tr.2014.2315939","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9]]}}}