Advertisement

Dependability in Service-Oriented Computing

  • Arshad JhumkaEmail author
Chapter
Part of the Advanced Information and Knowledge Processing book series (AI&KP)

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

Fault Tolerance Service Discovery Service Description Fault Tree Fault Injection 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Anish Arora and Sandeep S. Kulkarni. Component based design of multitolerant systems. IEEE Transactions on Software Engineering, 24(1):63–78, January 1998.CrossRefGoogle Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    E. Clarke and J. Wing. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4):626–643, 1996.CrossRefGoogle Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    M. C. Gaudel. Formal methods and testing: Hypotheses and correctness approximation. In Proceedings of Formal Methods (FM), pages 2–8, 2005.Google Scholar
  8. 8.
    V. Grassi. Architecture-based dependability prediction for service-oriented computing. In DSN 2004 Workshop on Architecting Dependable Systems, 2005.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
  12. 12.
  13. 13.
  14. 14.
  15. 15.
    R.K. Iyer and D. Tang. Experimental Analysis of Computer System Dependability, Chapter 5. Prentice Hall, 1996.Google Scholar
  16. 16.
    A. Jhumka and N.Suri. Design of efficient fail-safe multitolerance. In Proceedings Formal Techniques in Networked and Distributed Systems (FORTE), 2005.Google Scholar
  17. 17.
    J. C. Laprie. Dependable computing and fault tolerance: concepts and terminology. In Fault-Tolerant Computing, pages 2–11, June 1985.Google Scholar
  18. 18.
    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.Google Scholar
  19. 19.
    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.Google Scholar
  20. 20.
    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.Google Scholar
  21. 21.
    D. K. Pradhan, editor. Fault-Tolerant Computer System Design. Prentice Hall, 1996.Google Scholar
  22. 22.
    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.Google Scholar

Copyright information

© Springer-Verlag London 2010

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of WarwickCoventryUK

Personalised recommendations