An Interface Theory Based Approach to Verification of Web Services

  • Authors:

  • Zhenbang Chen;Ji Wang;Wei Dong;Zhichang Qi;W. L. Yeung

  • Affiliations:

  • National Laboratory for Parallel and Distributed Processing, China;National Laboratory for Parallel and Distributed Processing, China;National Laboratory for Parallel and Distributed Processing, China;National Laboratory for Parallel and Distributed Processing, China;Lingnan University, Hong Kong

  • Venue:
  • COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 02
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The verification of web services becomes a challenge in software verification. This paper presents a framework for verification of web service interfaces at various abstraction levels. Its foundation is the interface theory for web services, in which transaction features are incorporated. Within the framework, one may check non mutual invocation, compatibility and refinement of web services at signature, conversation and protocol levels. At protocol level, we present a model checking approach to verifying the protocol properties in Action Set Computation Tree Logic(ASCTL). The paper also discusses the integration of our framework into the web service development.