Compatibility Checking of Web Services Composition in Pervasive Computing

Author

Gao, Chunming ; Ji, Shizhang ; Liu, Rongsheng ; Chen, Huowang

fYear

2006

fDate

3-5 Aug. 2006

Firstpage

652

Lastpage

657

Abstract

This paper proposes a method checking compatibility and a tool for checking Web services composition in pervasive computing. In order to ensure the correctness of the composite Web service, we have developed the verification tool which can be embedded into Web services composition platform. Based on the mapping between BPEL4WS and extended pi-calculus with type system that can express XML schema; the tool implements the compatibility examination algorithm of the composite Web services. An example in which the loan approval process is used to illustrate the compatibility checking method is feasible clearly. Finally, a novel method for discovering and matching services under the guidance of checking compatibility of composite Web services is discussed

Keywords

Web services; XML; formal verification; pi calculus; ubiquitous computing; BPEL4WS; Web services; XML; compatibility checking; pervasive computing; pi-calculus; verification tool; Application software; Assembly; Computer science; Concrete; Educational institutions; Partial response channels; Pervasive computing; Testing; Web services; XML; Pi-calculus; compatibility checking; web services Composition type system;

fLanguage

English

Publisher

ieee

Conference_Titel

Pervasive Computing and Applications, 2006 1st International Symposium on

Conference_Location

Urumqi

Print_ISBN

1-4244-0326-x

Electronic_ISBN

1-4244-0326-x

Type

conf

DOI

10.1109/SPCA.2006.297503

Filename

4079074