An interface theory based approach to verification of web services

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

doi:10.1109/COMPSAC.2006.112

An interface theory based approach to verification of web services

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

Department of Computing and Decision Sciences

Research output: Book Chapters | Papers in Conference Proceedings › Conference paper (refereed) › Research › peer-review

1 Citation (Scopus)

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 language	English
Title of host publication	Proceedings of the 30th International Computer Software and Applications Conference, COMPSAC 2006
Publisher	IEEE Computer Society
Pages	139-142
Number of pages	4
DOIs	https://doi.org/10.1109/COMPSAC.2006.112
Publication status	Published - 1 Jan 2006

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

Access to Document

10.1109/COMPSAC.2006.112

Cite this

@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 = jan,

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",

}

An interface theory based approach to verification of web services. / CHEN, Zhenbang; WANG, Ji; DONG, Wei et al.
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 Proceedings › Conference paper (refereed) › Research › peer-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://www.scopus.com/inward/record.url?scp=34247463827&partnerID=8YFLogxK

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 -

An interface theory based approach to verification of web services

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this