{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:48:49Z","timestamp":1742914129359,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319171111"},{"type":"electronic","value":"9783319171128"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17112-8_7","type":"book-chapter","created":{"date-parts":[[2015,6,12]],"date-time":"2015-06-12T11:46:28Z","timestamp":1434109588000},"page":"229-256","source":"Crossref","is-referenced-by-count":0,"title":["Formal Reliability Models for Web Services"],"prefix":"10.1007","author":[{"given":"Raffaela","family":"Mirandola","sequence":"first","affiliation":[]},{"given":"Pasqualina","family":"Potena","sequence":"additional","affiliation":[]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[]},{"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-223-4","volume-title":"A Process Algebraic Approach to Software Architecture Design","author":"A. Aldini","year":"2010","unstructured":"Aldini, A., Bernardo, M., Corradini, F.: A Process Algebraic Approach to Software Architecture Design. Springer, London (2010)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Alrifai, M., Risse, T.: Combining global optimization with local selection for efficient QoS-aware service composition. In: WWW, pp. 881\u2013890 (2009)","DOI":"10.1145\/1526709.1526828"},{"key":"7_CR3","unstructured":"Alves, A., Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., K\u00f6nig, D., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0, OASIS Standard Specification, 11 April 2007. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"7_CR4","unstructured":"Apache Tuscany: http:\/\/tuscany.apache.org\/ (2011)"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/spe.1019","volume":"41","author":"P. Arcaini","year":"2011","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. J. Softw. Pract. Exp. 41(2), 155\u2013166 (2011)","journal-title":"J. Softw. Pract. Exp."},{"key":"7_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003)"},{"issue":"6","key":"7_CR7","doi-asserted-by":"publisher","first-page":"1319","DOI":"10.1109\/TSE.2011.94","volume":"38","author":"F. Brosch","year":"2012","unstructured":"Brosch, F., Koziolek, H., Buhnova, B., Reussner, R.: Architecture-based reliability prediction with the palladio component model. IEEE Trans. Softw. Eng. 38(6), 1319\u20131339 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Bruneo, D., Distefano, S., Longo, F., Scarpa, M.: QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets. In: 2010 IEEE International Symposium on Parallel Distributed Processing (IPDPS), pp. 1\u201312 (2010)","DOI":"10.1109\/IPDPS.2010.5470391"},{"key":"7_CR9","first-page":"331","volume-title":"FACS. Lecture Notes in Computer Science","author":"D. Brugali","year":"2011","unstructured":"Brugali, D., Gherardi, L., Riccobene, E., Scandurra, P.: Coordinated execution of heterogeneous service-oriented components by abstract state machines. In: Arbab, F., \u00d6lveczky, P.C. (eds.) FACS. Lecture Notes in Computer Science, vol. 7253, pp. 331\u2013349. Springer, Berlin (2011)"},{"key":"7_CR10","unstructured":"Business Process Model and Notation: http:\/\/www.bpmn.org\/ (2012)"},{"issue":"9","key":"7_CR11","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/2330667.2330686","volume":"55","author":"R. Calinescu","year":"2012","unstructured":"Calinescu, R., Ghezzi, C., Kwiatkowska, M.Z., Mirandola, R.: Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9), 69\u201377 (2012)","journal-title":"Commun. ACM"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Cardellini, V., Casalicchio, E., Grassi, V., Lo Presti, F.: Flow-based service selection for web service composition supporting multiple QoS classes. In: ICWS, pp. 743\u2013750. IEEE Computer Society, Salt Lake City (2007)","DOI":"10.1109\/ICWS.2007.91"},{"issue":"5","key":"7_CR13","doi-asserted-by":"publisher","first-page":"1138","DOI":"10.1109\/TSE.2011.68","volume":"38","author":"V. Cardellini","year":"2012","unstructured":"Cardellini, V., Casalicchio, E., Grassi, V., Iannucci, S., Lo Presti, F., Mirandola, R.: MOSES: a framework for QoS driven runtime adaptation of service-oriented systems. IEEE Trans. Softw. Eng. 38(5), 1138\u20131159 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"7_CR14","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.websem.2004.03.001","volume":"1","author":"J. Cardoso","year":"2004","unstructured":"Cardoso, J., Sheth, A.P., Miller, J.A., Arnold, J., Kochut, K.: Quality of service for workflows and web service processes. J. Web Semant. 1(3), 281\u2013308 (2004)","journal-title":"J. Web Semant."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Chandran, S.K., Dimov, A., Punnekkat, S.: Modeling uncertainties in the estimation of software reliability. In: 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement (SSIRI), pp. 227\u2013236. IEEE Computer Society, Singapore (2010)","DOI":"10.1109\/SSIRI.2010.22"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Ciancone, A., Filieri, A., Luigi Drago, M., Mirandola, R., Grassi, V.: KlaperSuite: an integrated model-driven environment for reliability and performance analysis of component-based systems. In: TOOLS (49). Lecture Notes in Computer Science, vol. 6705, pp. 99\u2013114. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21952-8_9"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Potena, P.: Path-based error propagation analysis in composition of software services. In: Software Composition. Lecture Notes in Computer Science, vol. 4829, pp. 97\u2013112. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-77351-1_8"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Marinelli, F., Potena, P.: Automated selection of software components based on cost\/reliability tradeoff. In: EWSA. Lecture Notes in Computer Science, vol. 4344, pp. 66\u201381. Springer, Berlin (2006)","DOI":"10.1007\/11966104_6"},{"key":"7_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13621-4","volume-title":"Model-Based Software Performance Analysis","author":"V. Cortellessa","year":"2011","unstructured":"Cortellessa, V., Di Marco, A., Inverardi, P.: Model-Based Software Performance Analysis. Springer, Berlin (2011)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Ding, Z., Jiang, M.: Port based reliability computing for service composition. In: Proceedings of the 2009 IEEE International Conference on Services Computing, SCC \u201909, pp. 403\u2013410 (2009)","DOI":"10.1109\/SCC.2009.12"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C., Grassi, V., Mirandola, R.: Reliability analysis of component-based systems with multiple failure modes. In: CBSE. Lecture Notes in Computer Science, vol. 6092, pp. 1\u201320. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13238-4_1"},{"issue":"12","key":"7_CR22","first-page":"1949","volume":"14","author":"A. Gargantini","year":"2008","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for abstract state machines. J. Universal Comput. Sci. 14(12), 1949\u20131983 (2008)","journal-title":"J. Universal Comput. Sci."},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Gokhale, S.S., Lu, J.: Performance and availability analysis of an E-commerce site. In: 30th Annual International Computer Software and Applications Conference, 2006. COMPSAC \u201906, vol.\u00a01, pp. 495\u2013502 (2006)","DOI":"10.1109\/COMPSAC.2006.65"},{"issue":"2\u20133","key":"7_CR24","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0166-5316(01)00034-7","volume":"45","author":"K. Goseva-Popstojanova","year":"2001","unstructured":"Goseva-Popstojanova, K., Trivedi, K.S.: Architecture-based approach to reliability assessment of software systems. Perform. Eval. 45(2\u20133), 179\u2013204 (2001)","journal-title":"Perform. Eval."},{"issue":"1","key":"7_CR25","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s10664-006-5966-7","volume":"11","author":"K. Goseva-Popstojanova","year":"2006","unstructured":"Goseva-Popstojanova, K., Deep Singh, A., Mazimdar, S., Li, F.: Empirical characterization of session-based workload and reliability for web servers. Empir. Softw. Eng. 11(1), 71\u2013117 (2006)","journal-title":"Empir. Softw. Eng."},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Grassi, V.: Architecture-based reliability prediction for service-oriented computing. In: WADS. Lecture Notes in Computer Science, vol. 3549, pp. 279\u2013299. Springer, Berlin (2004)","DOI":"10.1007\/11556169_13"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Ibrahim, N., Mohammad, M., Alagar, V.S.: An architecture for managing and delivering trustworthy context-dependent services. In: IEEE SCC, pp. 737\u2013738 (2011)","DOI":"10.1109\/SCC.2011.92"},{"issue":"1","key":"7_CR28","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10270-006-0040-x","volume":"7","author":"A. Immonen","year":"2008","unstructured":"Immonen, A., Niemel\u00e4, E.: Survey of reliability and availability prediction methods from the viewpoint of software architecture. Softw. Syst. Model. 7(1), 49\u201365 (2008)","journal-title":"Softw. Syst. Model."},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Janevski, N., Goseva-Popstojanova, K.: Session reliability of web systems under heavy-tailed workloads: an approach based on design and analysis of experiments. IEEE Trans. Softw. Eng. 99(PrePrints), 1 (2013)","DOI":"10.1109\/TSE.2013.3"},{"key":"7_CR30","first-page":"202","volume":"5835","author":"I. Krka","year":"2009","unstructured":"Krka, I., Edwards, G., Cheung, L., Golubchik, L., Medvidovic, N.: A comprehensive exploration of challenges in architecture-based reliability estimation. In: Architecting Dependable Systems VI. Lecture Notes in Computer Science, vol. 5835, pp. 202\u2013227 (2009)","journal-title":"In: Architecting Dependable Systems VI. Lecture Notes in Computer Science"},{"key":"7_CR31","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.jss.2013.11.002","volume":"89","author":"R. Mirandola","year":"2014","unstructured":"Mirandola, R., Potena, P., Riccobene, E., Scandurra, P.: A reliability model for service component architectures. J. Syst. Softw. 89, 109\u2013127 (2014)","journal-title":"J. Syst. Softw."},{"issue":"2","key":"7_CR32","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/52.199724","volume":"10","author":"J.D. Musa","year":"1993","unstructured":"Musa, J.D.: Operational profiles in software-reliability engineering. IEEE Softw. 10(2), 14\u201332 (1993)","journal-title":"IEEE Softw."},{"key":"7_CR33","unstructured":"OASIS\/OSOA: Service component architecture (SCA). www.oasis-opencsa.org\/sca (2011)"},{"issue":"3","key":"7_CR34","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1016\/j.jss.2012.10.929","volume":"86","author":"P. Potena","year":"2013","unstructured":"Potena, P.: Optimization of adaptation plans for a service-oriented architecture with cost, reliability, availability and performance tradeoff. J. Syst. Softw. 86(3), 624\u2013648 (2013)","journal-title":"J. Syst. Softw."},{"issue":"6","key":"7_CR35","doi-asserted-by":"publisher","first-page":"1077","DOI":"10.1007\/s00165-013-0289-0","volume":"26","author":"E. Riccobene","year":"2014","unstructured":"Riccobene, E., Scandurra, P.: A formal framework for service modeling and prototyping. Form. Asp. Comput. 26(6), 1077\u20131113 (2014)","journal-title":"Form. Asp. Comput."},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Riccobene, E., Scandurra, P., Albani, F.: A modeling and executable language for designing and prototyping service-oriented applications. In: EUROMICRO-SEAA, pp. 4\u201311. IEEE, Oulu (2011)","DOI":"10.1109\/SEAA.2011.12"},{"key":"7_CR37","first-page":"125","volume-title":"EUROMICRO-SEAA","author":"E. Riccobene","year":"2012","unstructured":"Riccobene, E., Potena, P., Scandurra, P.: Reliability prediction for service component architectures with the SCA-ASM component model. In: Cortellessa, V., Muccini, H., Demir\u00f6rs, O. (eds.) EUROMICRO-SEAA, pp. 125\u2013132. IEEE Computer Society, \u0130zmir (2012)"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Roshandel, R., Medvidovic, N., Golubchik, L.: A Bayesian model for predicting reliability of software systems at the architectural level. In: QoSA. Lecture Notes in Computer Science, vol. 4880, pp. 108\u2013126. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-77619-2_7"},{"key":"7_CR39","first-page":"114","volume":"2007","author":"N. Sato","year":"2007","unstructured":"Sato, N., Trivedi, K.S.: Accurate and efficient stochastic reliability analysis of composite services using their compact markov reward model representations. In: IEEE International Conference on Services Computing, 2007. SCC 2007, pp. 114\u2013121 (2007)","journal-title":"SCC"},{"key":"7_CR40","volume-title":"Performance Solutions: A Practical Guide to Creating Responsive","author":"C.U. Smith","year":"2002","unstructured":"Smith, C.U., Williams, L.G.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley, Redwood City (2002)"},{"key":"7_CR41","unstructured":"Standard Glossary of Software Engineering Terminology: STD-729-1991 ANSI\/IEEE (1991)"},{"key":"7_CR42","unstructured":"The ASMETA Toolset Website: http:\/\/asmeta.sf.net\/ (2011)"},{"issue":"2","key":"7_CR43","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1109\/TSMCA.2011.2164064","volume":"42","author":"Y. Xia","year":"2012","unstructured":"Xia, Y., Liu, Y., Liu, J., Zhu, Q.: Modeling and performance evaluation of BPEL processes: a stochastic-petri-net-based approach. IEEE Trans. Syst. Man Cybern. A Syst. Hum. 42(2), 503\u2013510 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Hum."},{"key":"7_CR44","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1109\/TSE.2004.11","volume":"30","author":"L. Zeng","year":"2004","unstructured":"Zeng, L., Benatallah, B., Ngu, A.H.H., Dumas, M., Kalagnanam, J., Chang, H.: QoS-aware middleware for web services composition. IEEE Trans. Softw. Eng. 30, 311\u2013327 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR45","doi-asserted-by":"crossref","unstructured":"Zheng, Z., Lyu, M.R.: Collaborative reliability prediction of service-oriented systems. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering - Volume 1, ICSE \u201910, pp. 35\u201344. ACM, New York (2010)","DOI":"10.1145\/1806799.1806809"}],"container-title":["Texts & Monographs in Symbolic Computation","Correct Software in Web Applications and Web Services"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17112-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T11:23:24Z","timestamp":1676460204000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17112-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319171111","9783319171128"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17112-8_7","relation":{},"ISSN":["0943-853X","2197-8409"],"issn-type":[{"type":"print","value":"0943-853X"},{"type":"electronic","value":"2197-8409"}],"subject":[],"published":{"date-parts":[[2015]]}}}