Compatibility checking of web services composition in pervasive computing

被引：1

作者：

Gao, Chunming ^{[1
,2
]}

Ji, Shizhang ^{[3
]}

Liu, Rongsheng ^{[1
]}

Chen, Huowang ^{[2
]}

机构：

[1] Hunan Normal Univ, Coll Math & Comp Sci, Changsha 410081, Peoples R China

[2] Natl Univ Def Technol, Sch Comp Sci, Changsha 410073, Hunan, Peoples R China

[3] Hunan Prov Prod Promoting Ctr, Changsha, Hunan, Peoples R China

来源：

2006 1ST INTERNATIONAL SYMPOSIUM ON PERVASIVE COMPUTING AND APPLICATIONS, PROCEEDINGS | 2006年

关键词：

pi-calculus; web services composition; type system; compatibility checking;

D O I：

10.1109/SPCA.2006.297503

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：652 / +

页数：3