Verification of Time Constraints Consistency on Web Service Composition based on ETPN

被引：0

作者：

Chen, Ting-wei ^{[1
]}

Geng, Shuo-yang ^{[1
]}

机构：

[1] Liaoning Univ, Sch Informat Engn, Shenyang 110036, Peoples R China

来源：

INFORMATION TECHNOLOGY FOR MANUFACTURING SYSTEMS II, PTS 1-3 | 2011年 / 58-60卷

关键词：

Web Service; Service composition; ETPN; time consistency; available time relation matrix;

D O I：

10.4028/www.scientific.net/AMM.58-60.1094

中图分类号：

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

学科分类号：

0812 ;

摘要：

The work of Web Service verification mainly concentrated in testing service functional correctness, the non-functioning attribute description and verification is relatively rare. For the lack of non-functioning attribute service verification, the available time phrase of Web Service is added into the OWL-S model to describe time-attribute, establish the mapping rules and transformation method from OWL-S process model to ETPN, and the available time relation matrix is proposed to verify time constraints consistency based on the ETPN theory, it can help to remove the plan of service composition has time conflict and avoid the waste of Web Service resource.

引用

页码：1094 / 1099

页数：6

共 9 条

[1] Timing Constraints Specification and Verification for Web Service Compositions [J].

Dai, Guilan ;

Liu, Rujuan ;

Zhao, Chongchong ;

Hu, Changjun .

2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, :315-+

[2]

del Val E, 2009, 2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2, P376, DOI 10.1109/SERVICES-I.2009.91

[3]

Fan FW, 2007, INT C COMP SUPP COOP, P550

[4]

Hamadi R., 2003, Proceedings of the 14th Australasian database conference, V17, P191

[5]

Jingxia Li, 2005, APPL RES COMPUTERS

[6]

Luonan YanJunwei, 2007, COMPUTER INTEGRATED

[7]

LZi Jingxia, 2006, APPL RES COMPUTERS

[8]

Yuanzhixiang, 2006, COMPUTER ENG DESIGN

[9]

Yujian, COMPUTING SERVICE OR

← 1 →