Specification and Verification of Data and Time in Web Service Composition

被引：0

作者：

Zhang, Guangquan ^{[1
,2
]}

Di, Haojun ^{[1
]}

Rong, Mel ^{[3
]}

Shi, Huijuan ^{[1
]}

机构：

[1] Soochow Univ, Sch Comp Sci & Technol, Suzhou, Peoples R China

[2] Chinese Acad Sci, State Key Lab Comp Sci, Beijing, Peoples R China

[3] Jinan Univ, Shenzhen Tourism Coll, Shenzhen, Peoples R China

来源：

WEB INFORMATION SYSTEMS AND MINING, PT II | 2011年 / 6988卷

关键词：

Web service composition; Verification; Model checking; UPPAAL;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The verification of Web service composition has been widely acknowledged as a challenging problem. In this paper we present a method based on data and time aware service model to validate property of Web service composition. First we translate Web service composition specification to formal model which contains data related information and time related information, and then translate this model to UPPAAL specification, at last the correctness of Web service composition is verified through the UPPAAL tool.

引用

页码：436 / +

页数：2

共 8 条

[1]

Clarke EM, 1999, MODEL CHECKING, P1

[2]

Diaz G, 2005, LECT NOTES COMPUT SC, V3670, P230

[3]

Fu X., 2004, P 13 INT C WORLD WID, P621

[4] Timed Model Checking Based Approach for Web Services Analysis [J].

Guermouche, Nawal ;

Godart, Claude .

2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, 2009, :213-221

[5]

He Y.L., 2010, MODEL CHECKING WEB S

[6]

Peng Y.B., 2009, P INT C E BUS INF SY

[7]

Yan Y.H., 2005, P 3 EUR C WEB SERV V

[8]

Zhao XP, 2006, LECT NOTES COMPUT SC, V4184, P273

← 1 →