Corpus ID: 10631750

A software reliability model for web services

@inproceedings{Tsai2004ASR,
  title={A software reliability model for web services},
  author={W. Tsai and D. Zhang and Yinong Chen and H. Huang and R. Paul and Ning Liao},
  booktitle={IASTED Conf. on Software Engineering and Applications},
  year={2004}
}
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services without the structural information and the composite services consisting of atomic services. The model first evaluates the reliability of atomic services based on group testing and majority voting. Group testing is the key technique proposed in this paper to support the service-oriented reliability model. Then, the… Expand
A user-oriented Web service reliability model
TLDR
A user-oriented software reliability model was proposed to evaluate the reliability of Web services and the overall reliability of composite service was evaluated using BPEL structure chart-based model and the reliabilities of all atomic services being used. Expand
A Hierarchical Reliability Model of Service-Based Software System
TLDR
A hierarchical reliability model is proposed, in which the system reliability is calculated according to the layered superimposition of the reliabilities of data, services, fault-tolerant mechanism and service composition logic. Expand
Evaluating the Reliability of Web Services Based on BPEL Code Structure Analysis and Run-Time Information Capture
In this article, an approach is proposed to evaluate the reliability of Web services, where three kinds of Web services are discussed, they are atomic service without the structural information,Expand
SRM: a staged reliability model for Web service
TLDR
A staged reliability model for atomic services is proposed, which structures the reliability estimation based on the faults that may occur at each stage and is more suitable for Web services than traditional model. Expand
A reliability model for web services From the consumers' perspective
TLDR
It is pointed out redundancy is a very effective approach to improve the reliability of composite web services and is introduced using the structure information with the assumption that the reliabilities of atomic web services in the composite web Services are available. Expand
A Comparative Analysis of Reliability Assessment Methods for Web-based Software
TLDR
The authors investigate the characteristics of reliability assessment methods for web-based software such as SaaS and SOA based software systems and evaluates those methods based on hypothetical execution scenarios to analyze the strengths and weaknesses of each method. Expand
A model-driven method for describing and predicting the reliability of composite services
TLDR
A model-driven method to automatically describe and predict the quality of service (QoS) characteristics of composite web services specified by use of business process execution language (BPEL) is illustrated. Expand
A Hypothetical Scenario-Based Analysis on Software Reliability Evaluation Approaches in the Web Environment
TLDR
This paper deals with reliability evaluation issues in the web environment and compares with each other in terms of failure data collection methods, reliability evaluation techniques, and validation schemes, and identifies the remaining open problems. Expand
A Reliability Evaluation Framework on Composite Web Service
  • Jiang Ma, H. Chen
  • Computer Science
  • 2008 IEEE International Symposium on Service-Oriented System Engineering
  • 2008
TLDR
A web service reliability model for atomic web service without structural information is provided and a framework based on client feedback to gather trustworthiness attributes to service registry for reliability evaluation is outlined. Expand
A Tree-Based Reliability Model for Composite Web Service with Common-Cause Failures
TLDR
Evaluation shows that the proposed tree-based reliability model can improve the accuracy of reliability estimation for composite web service and is particularly valuable when designing fault-tolerant service-based system. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 19 REFERENCES
Cooperative and group testing in verification of dynamic composite Web services
TLDR
This work compares and contrast traditional software testing and WS testing techniques and proposes a WS group testing technique to test composite services that has the ability to evaluate the test scripts, automatically establish the oracle of the each test script, and identify faulty WS in a failed composite WS. Expand
Extending WSDL to facilitate Web services testing
TLDR
Four kinds of extension are considered: input-output dependency, invocation sequence, hierarchical functional description and concurrent sequence specifications, which aim to extend the WSDL to support this kind of information description. Expand
Verification of Web services using an enhanced UDDI server
TLDR
This paper proposes adding verification mechanism to the UDDI servers including check-in and checkout of WS including test scripts to be attached to WS, and both WS providers and clients use these test scripts. Expand
Software Reliability Models: Assumptions, Limitations, and Applicability
  • A. Goel
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 1985
TLDR
An overview of the key modeling approaches is presented, a critical analysis of the underlying assumptions are provided, and a step-by-step procedure for fitting a model is proposed and illustrated via an analysis of failure data from a medium-sized real-time command and control software system. Expand
Software Reliability—Status and Perspectives
TLDR
Methods of determining the design correctness of systems as applied to computer programs are surveyed. Expand
Rapid verification of embedded systems using patterns
  • W. Tsai, Lian Yu, F. Zhu, R. Paul
  • Computer Science
  • Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003
  • 2003
TLDR
This paper extends VPs so that they can fully interoperate with a formalized scenario model ACDATE, and provides a mapping from system scenarios into temporal logic expressions so that a practitioner can specify system constraints in scenarios, and follow the mapping to obtain the temporal Logic expressions easily to perform formal model checking. Expand
Regression testing in an industrial environment
TLDR
A multilevel regression testing framework that can be easily adapted into asoftware development and maintenance process in which regression testing can play a key role in improving and ensuring consistent software quality is proposed. Expand
A service scheduler in a trustworthy system
  • Yinong Chen
  • Computer Science
  • 37th Annual Simulation Symposium, 2004. Proceedings.
  • 2004
TLDR
Techniques developed include deadline-based real-time scheduling, priority-based scheduling, and redundant resource allocation for fault-tolerance in a service-oriented fault-Tolerant real- time distributed system. Expand
Validating a Web service security abstraction by typing
TLDR
This work proposes a security abstraction, inspired by earlier work on secure RPC, in which the methods exported by a web service are annotated with one of three security levels: none, authenticated, or both authenticated and encrypted. Expand
Validating a web service security abstraction by typing
TLDR
This work considers the problem of authenticating requests and responses at the SOAP-level, rather than relying on transport-level security, and proposes a security abstraction, inspired by earlier work on secure RPC, in which the methods exported by a web service are annotated with one of three security levels. Expand
...
1
2
...