A formal specification for web services composition and verification

被引：0

作者：

Shi, YL ^{[1
]}

Zhang, L ^{[1
]}

Liu, B ^{[1
]}

Liu, FF ^{[1
]}

Lin, LL ^{[1
]}

Shi, BL ^{[1
]}

机构：

[1] Fudan Univ, Dept Comp & Informat Technol, Shanghai, Peoples R China

来源：

Fifth International Conference on Computer and Information Technology - Proceedings | 2005年

关键词：

web services; web service composition; conversation; verification;

D O I：

10.1109/CIT.2005.10

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Due to the promising features of web services, their deployment and research are booming. Among them, various techniques for web service composition have been developed. In this paper, we propose a new composition framework. We use automata to describe behaviors of web services. Each of underlying web services can interact with others through asynchronous messages passing according to its interaction role (client or server). All these messages are recorded by a virtual global observer and the observation result is just the composition conversation of web services. We also develop a formal a top-down verification mechanism on this framework and provide some realizable conditions for a successful composition.

引用

页码：252 / 256

页数：5

共 9 条

[1]

BROGI A, 2004, ELECT NOTES THEORETI, V105, P73, DOI DOI 10.1016/J.ENTCS.2004.05.007

[2]

BULTAN T, 2003, P INT WORLD WID WEB

[3]

DAVULCU H, 2004, P 13 INT C WORLD WID

[4]

FOSTER H, 2003, P 18 IEEE INT C AUT

[5] Conversation protocols: a formalism for specification and verification of reactive electronic services [J].

Fu, X ;

Bultan, T ;

Su, HW .

THEORETICAL COMPUTER SCIENCE, 2004, 328 (1-2) :19-37

[6]

FU X, 2003, P INT C IMPL APPL AU

[7] Modeling and Model Checking Web Services [J].

Schlingloff, Holger ;

Martens, Axel ;

Schmidt, Karsten .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 126 :3-26

[8]

W3C, 2002, WEB SERV CHOR INT WS

[9]

2003, BPEL4WS SPECIFICATIO

← 1 →