Conference Paper

Specifying and Constructing a Fault-Tolerant Composite Service

Comput. Dept., Lancaster Univ., Lancaster
DOI: 10.1109/ECOWS.2008.26 Conference: on Web Services, 2008. ECOWS '08. IEEE Sixth European Conference
Source: IEEE Xplore

ABSTRACT This paper proposes a means to specify the semantics of fault tolerant Web services at an abstract level using semantics adapted from queuing system theory. A framework that supports the implementation of specified fault-tolerance is also described. Based on our work, we show how the redundancy and diversity characteristics of a service-oriented system can be expressed and implemented in a Web-service application.

  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: An abstract is not available.
    Journal of the ACM 01/1983; 30(3):668-676. · 2.94 Impact Factor
  • [Show abstract] [Hide abstract]
    ABSTRACT: N-version programming has been proposed as a method of incorporating fault tolerance into software. Multiple versions of a program (i.e. `N') are prepared and executed in parallel. Their outputs are collected and examined by a voter, and, if they are not identical, it is assumed that the majority is correct. This method depends for its reliability improvement on the assumption that programs that have been developed independently will fail independently. An experiment is described in which the fundamental axiom is tested. In all, 27 versions of a program were prepared independently from the same specification at two universities and then subjected to one million tests. The results of the tests revealed that the programs were individually extremely reliable but that the number of tests in which more than one program failed was substantially more than expected. The results of these tests are presented along with an analysis of some of the faults that were found in the programs. Background information on the programmers used is also summarized.
    IEEE Transactions on Software Engineering 01/1986; · 2.29 Impact Factor
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We identify parameters impacting Web services dependability, describe the methods of dependability enhancement by redundancy in space and redundancy in time, and perform a series of experiments to evaluate the availability of Web services. To increase the availability of Web services, we employ several replication schemes and compare them with a single service. The Web services are coordinated by a replication manager. It provides a round robin algorithm for scheduling the workload of the Web services and keeps updating the availability of each Web service. The replication algorithm and the detailed system configuration are described. Experiments are performed to evaluate the resulting service availability. Modeling on the Web services with Petri-net is constructed and verified through experiments with different applications. With the parameters obtained from the experiments, the proposed model can be engaged to demonstrate the characteristics of the Web service.
    Web Services, 2007. ICWS 2007. IEEE International Conference on; 08/2007

Full-text (3 Sources)

Available from
May 21, 2014