Abstract
Service-oriented computing (SOC) is emerging as a new approach to developing extensible computing systems, including distributed systems. This new paradigm is based on the interoperability and the loose coupling among the computing elements involved. The loose coupling property among the computing elements allows for the development of adaptive systems, however, it also introduces the possibilities for failures to occur at various levels. In this chapter, we investigate the various dependability issues involved in service-oriented computing. Specifically, we look at the various faults that can occur in the system. We then look at various dependability approaches to handle the faults identified. We further propose how to estimate the dependability of an application. We conclude by providing two case studies to highlight aspects of dependability in service-oriented computing.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anish Arora and Sandeep S. Kulkarni. Component based design of multitolerant systems. IEEE Transactions on Software Engineering, 24(1):63–78, January 1998.
Anish Arora and Sandeep S. Kulkarni. Detectors and correctors: A theory of fault-tolerance components. In Proceedings International Conference on Distributed Computing Systems, May 1998.
S. Brüning, S. Weissleder, and M. Malek. A fault taxonomy for service-oriented architecture. In Proceedings of the IEEE High Assurance Systems Engineering, 2007.
E. Clarke and J. Wing. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4):626–643, 1996.
D. Cotroneo, C. Di Flora, and S. Russo. Improving dependability of service-oriented architectures for pervasive computing. In Proceedings Workshop on Object-Oriented Real-time and Dependable Systems (WORDS), 2003.
D.Powell, E.Martins, J.Arlat, and Y.Crouzet. Estimators for fault tolerance coverage evaluation. In Proceedings of the 23rd International Symposium on Fault-Tolerant Computing, 1993.
M. C. Gaudel. Formal methods and testing: Hypotheses and correctness approximation. In Proceedings of Formal Methods (FM), pages 2–8, 2005.
V. Grassi. Architecture-based dependability prediction for service-oriented computing. In DSN 2004 Workshop on Architecting Dependable Systems, 2005.
M. Hiller, A. Jhumka, and N. Suri. An approach for analysing the propagation of data errors in software. In Proceedings International Conference on Dependable Software and Networks (DSN), pages 161–170, 2001.
M. Hiller, A. Jhumka, and N. Suri. Propone: An environment for examining the propagation of errors in software. In Proceedings International Symposium on Software Testing and Analysis (ISSTA), pages 81–85, 2002.
R.K. Iyer and D. Tang. Experimental Analysis of Computer System Dependability, Chapter 5. Prentice Hall, 1996.
A. Jhumka and N.Suri. Design of efficient fail-safe multitolerance. In Proceedings Formal Techniques in Networked and Distributed Systems (FORTE), 2005.
J. C. Laprie. Dependable computing and fault tolerance: concepts and terminology. In Fault-Tolerant Computing, pages 2–11, June 1985.
N. Looker, B. Gwynne, J. Xu, and M. Munro. An ontology-based approach for determining the dependability of service-oriented architectures. In Proceedings Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), 2005.
Z. Mao, E. Brewer, and R. Katz. Fault-tolerant, scalable, wide-area internet service composition. Technical Report UCB/CSD-1-1129, CS Division, UC Berkeley, 2001.
S. Pokraev, D. Quartel, M. W. A. Steen, and M. Reichert. A method for formal verificatipn of service interoperability. In Proceedings International Conference on Web Services (ICWS), pages 895–900, 2006.
D. K. Pradhan, editor. Fault-Tolerant Computer System Design. Prentice Hall, 1996.
M. Rouached, O. Perrin, and C. Godart. Towards formal verification of web service composition. In Proceedings International Conference on Business Process Management, pages 257–273, 2006.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag London
About this chapter
Cite this chapter
Jhumka, A. (2010). Dependability in Service-Oriented Computing. In: Griffiths, N., Chao, KM. (eds) Agent-Based Service-Oriented Computing. Advanced Information and Knowledge Processing. Springer, London. https://doi.org/10.1007/978-1-84996-041-0_6
Download citation
DOI: https://doi.org/10.1007/978-1-84996-041-0_6
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-84996-040-3
Online ISBN: 978-1-84996-041-0
eBook Packages: Computer ScienceComputer Science (R0)