An interface theory based approach to verification of web services

Document Type

Conference paper

Source Publication

Proceedings of the 30th International Computer Software and Applications Conference, COMPSAC 2006

Publication Date

1-1-2006

First Page

139

Last Page

142

Publisher

IEEE Computer Society

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.

DOI

10.1109/COMPSAC.2006.112

Print ISSN

07303157

Publisher Statement

Copyright © 2006 IEEE. Access to external full text or publisher's version may require subscription.

Additional Information

Paper presented at the 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois.

ISBN of the source publication: 9780769526553

Full-text Version

Publisher’s Version

Language

English

Recommended Citation

Chen, Z., Wang, J., Dong, W., Qi, Z., & Yeung, W. L. (2006). An interface theory based approach to verification of web services. In Proceedings of the 30th International Computer Software and Applications Conference, COMPSAC 2006 (pp. 139-142). Los Alamitos: IEEE Computer Society. doi: 10.1109/COMPSAC.2006.112

Share

COinS