An interface theory based approach to verification of web services

Zhenbang CHEN, Ji WANG, Wei DONG, Zhichang QI, Wing Lok YEUNG

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

1 Scopus Citations

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.
Original languageEnglish
Title of host publicationProceedings of the 30th International Computer Software and Applications Conference, COMPSAC 2006
PublisherIEEE Computer Society
Pages139-142
Number of pages4
DOIs
Publication statusPublished - 1 Jan 2006

Fingerprint

Web services
Network protocols
Model checking

Bibliographical note

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

Cite this

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). IEEE Computer Society. https://doi.org/10.1109/COMPSAC.2006.112
CHEN, Zhenbang ; WANG, Ji ; DONG, Wei ; QI, Zhichang ; YEUNG, Wing Lok. / An interface theory based approach to verification of web services. Proceedings of the 30th International Computer Software and Applications Conference, COMPSAC 2006. IEEE Computer Society, 2006. pp. 139-142
@inproceedings{6698f350df274d3ebe494273d67d764e,
title = "An interface theory based approach to verification of web services",
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.",
author = "Zhenbang CHEN and Ji WANG and Wei DONG and Zhichang QI and YEUNG, {Wing Lok}",
note = "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",
year = "2006",
month = "1",
day = "1",
doi = "10.1109/COMPSAC.2006.112",
language = "English",
pages = "139--142",
booktitle = "Proceedings of the 30th International Computer Software and Applications Conference, COMPSAC 2006",
publisher = "IEEE Computer Society",
address = "United States",

}

CHEN, Z, WANG, J, DONG, W, QI, Z & YEUNG, WL 2006, An interface theory based approach to verification of web services. in Proceedings of the 30th International Computer Software and Applications Conference, COMPSAC 2006. IEEE Computer Society, pp. 139-142. https://doi.org/10.1109/COMPSAC.2006.112

An interface theory based approach to verification of web services. / CHEN, Zhenbang; WANG, Ji; DONG, Wei; QI, Zhichang; YEUNG, Wing Lok.

Proceedings of the 30th International Computer Software and Applications Conference, COMPSAC 2006. IEEE Computer Society, 2006. p. 139-142.

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

TY - GEN

T1 - An interface theory based approach to verification of web services

AU - CHEN, Zhenbang

AU - WANG, Ji

AU - DONG, Wei

AU - QI, Zhichang

AU - YEUNG, Wing Lok

N1 - 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

PY - 2006/1/1

Y1 - 2006/1/1

N2 - 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.

AB - 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.

UR - http://commons.ln.edu.hk/sw_master/7074

U2 - 10.1109/COMPSAC.2006.112

DO - 10.1109/COMPSAC.2006.112

M3 - Conference paper (refereed)

SP - 139

EP - 142

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

PB - IEEE Computer Society

ER -

CHEN Z, WANG J, DONG W, QI Z, YEUNG WL. An interface theory based approach to verification of web services. In Proceedings of the 30th International Computer Software and Applications Conference, COMPSAC 2006. IEEE Computer Society. 2006. p. 139-142 https://doi.org/10.1109/COMPSAC.2006.112