Web service collaboration analysis via automata

被引：0

作者：

Shi, YL ^{[1
]}

Zhang, L ^{[1
]}

Liu, FF ^{[1
]}

Lin, LL ^{[1
]}

Shi, BL ^{[1
]}

机构：

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

来源：

ADVANCES IN WEB-AGE INFORMATION MANAGEMENT, PROCEEDINGS | 2005年 / 3739卷

关键词：

web services; WSCI; automata;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

It is evidenced that formal analyses are helpful for web services interactions. However, most current web services choreography proposals, such as BPEL4WS or WSCI, only provide notations for describing the message flows in web service collaboration, lacking of reasoning mechanisms to verify the process of interacting among them. In this paper, we present a formalization of web services interaction based on WSCI using the approach of automata. The method can check whether two or more web services are compatible or not in their collaboration.

引用

页码：858 / 863

页数：6

共 9 条

[1]

*BPEL4WS, 2003, BPEL4WS SPEC VERS 1

[2]

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

[3]

BULTAN T, 2003, P INT WORLD WID WEB

[4]

DAVULCU H, 2004, P 13 INT C WORLD WID

[5]

FOSTER H, 2003, P 18 IEEE INT C AUT

[6]

Fu X, 2004, P 13 INT C WORLD WID

[7]

FU X, 2003, P INT C IMPL APPL AU

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

Schlingloff, Holger ;

Martens, Axel ;

Schmidt, Karsten .

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

[9]

W3C, 2002, WEB SERV CHOR INT WS

← 1 →