Title: TOWARDS A FORMAL DEFINITION OF AVAILABILITY OF WEB SERVICES

Year of Publication: 2012
Page Numbers: 273-284
Authors: Manoj Lall, John van der Poll, Lucas Venter
Conference Name: The International Conference on Computing, Networking and Digital Technologies (ICCNDT2012)
- Bahrain

Abstract:


The utilization of a Web services based application depends not only on meeting its functional requirements but also its non- functional requirements. Availability is among the numerous non-functional requirements that Web services have to satisfy. While there are several definitions of availability in the literature, this paper elicits the ambiguity that exists in many of these natural language definitions and proposes a formal definition of this term. We view this to be one of the first steps in providing a formal specification of this very important non-functional requirement of a web service or any other critical system. In this paper we demonstrate how these ambiguities are eliminated by the introduction of formality. Our goal is achieved by analyzing the execution states of a Web service. We make use of the Z specification language in developing a formal definition of this term.