Abstract
In Service-Oriented Architectures (SOA) composed services provide functionalities with certain non-functional properties that depend on the properties of the basic services. Models that represent dependencies among these properties are necessary to analyze non-functional properties of composed services. In this paper we focus on the reliability of a SOA. Most reliability models for software that is assembled from basic elements (e.g. objects, components or services) assume that the elements are independent, namely they do not take into account the dependencies that may exist between basic elements. We relax this assumption here and propose a reliability model for a SOA that embeds the “error propagation” property. We present a path-based model that generates the possible execution paths within a SOA from a set of scenarios. The reliability of the whole system is then obtained as a combination of the reliability of all generated paths. On the basis of our model, we show on an example that the error propagation analysis may be a key factor for a trustworthy prediction of the reliability of a SOA. Such a reliability model for a SOA may support, during the system development, the allocation of testing effort among services and, at run time, the selection of functionally equivalent services offered by different providers.
This work has been partially supported by the PLASTIC project: Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication. EC - 6th Framework Programme. http://www.ist-plastic.org
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abdelmoez, W., et al.: Error Propagation in Software Architectures. In: Proc. of METRICS (2004)
Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. on Dependable and Secure Computing 1(1) (January-March 2004)
Baresi, L., Ghezzi, C., Guinea, S.: Smart Monitors for Composed Services. In: Proc. of the 2nd International Conference on Service Oriented Computing, pp. 193–202 (November 2004)
Bertolino, A., Marchetti, E., Muccini, H.: Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. In: Garavel, H., Hatcliff, J. (eds.) ETAPS 2003 and TACAS 2003. LNCS, vol. 2619, Springer, Heidelberg (2003)
Cortellessa, V., Singh, H., Cukic, B.: Early reliability assessment of UML based software models. In: Proc. of WOSP 2002, Rome, Italy, July 24-26, 2002 (2002)
Diaconescu, A., Murphy, J.: Quality of Service in Wide Area Distributed Systems. In: Proc. of Information Technology and Telecommunications, Waterford, Ireland, pp. 39–47 (October 2002)
Esmaeilsabzali, S., Larson, K.: Service Allocation for Composite Web Services Based on Quality Attributes. In: SoS4CO. the First IEEE International Workshop on Service Oriented Solutions for Cooperative Organizations, pp. 71–79. IEEE Computer Society Press, Los Alamitos (2005)
Goseva-Popstojanova, K., Kamavaram, S.: Uncertainty Analysis of Software Reliability Based on Method of Moments, FastAbstract ISSRE (2002)
Goseva-Popstojanova, K., Trivedi, K.S.: Architecture based-approach to reliability assessment of software systems. Performance Evaluation 45, 179–204 (2001)
Hamlet, D., Mason, D., Woit, D.: Theory of Software Reliability Based on Components. In: ICSE 2001 (2001)
Kaner, C.: Teaching Domain Testing: A Status Report. In: CSEET 2004. Proc. of 17th Conference on Software Engineering Education and Training (2004)
Kokash, N.: A Service Selection Model to Improve Composition Reliability. In: ECAI 2006. Proc. of International Workshop on AI for Service Composition, in conjunction, Riva del Garda, Italy (August 2006)
ITU. ITU-T Recommendation Z.120 Message Sequence Charts (MSC’99). Technical report, ITU Telecommunication Standardization Sector (1996)
Li, J., et al.: An Empirical Study of Variations in COTS-based Software Development Processes in Norwegian IT Industry. In: Proc. of METRICS 2004 (2004)
McGovern, J., Tyagi, S., Stevens, M., Mathew, S.: Java Web Services Architecture. published by Elsevier Science, Amsterdam, ch. 2 (July 2003)
Musa, J.D.: Operational profiles in software-reliability engineering. IEEE Software, 14–32 (1993)
Parnas, D.: On a ”Buzzword”: Hierarchical structure. In: Proc. of IFIP Congress (1974)
Rodrigues, G.N., Rosenblum, D.S., Uchitel, S.: Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, Springer, Heidelberg (2005)
Trivedi, K.: Probability and Statistics with Reliability, Queuing, and Computer Science Applications. J. Wiley and S., Chichester (2001)
Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering 29(2) (2003)
Yacoub, S., Cukic, B., Ammar, H.: Scenario-Based Reliability Analysis of Component-Based Software. In: ISSRE 1999. Proc. of the 10th International Symposium on Software Reliability Engineering, pp. 22–31 (1999)
Yue, K.: Generating interesting scenarios from system descriptions. In: Proc. the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems, pp. 212 - 218 (1988)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cortellessa, V., Potena, P. (2007). Path-Based Error Propagation Analysis in Composition of Software Services. In: Lumpe, M., Vanderperren, W. (eds) Software Composition. SC 2007. Lecture Notes in Computer Science, vol 4829. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77351-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-77351-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77350-4
Online ISBN: 978-3-540-77351-1
eBook Packages: Computer ScienceComputer Science (R0)