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
相关论文
共 50 条
  • [1] Semantic consistency verification of Web service composition
    Wang, Zhi-Jian
    Cheng, Yong-Shang
    Xu, Jing-Wei
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2009, 15 (01): : 202 - 208
  • [2] Verification for time consistency of web service flow
    Liu, Rujuan
    Hu, Changjun
    Zhao, ChongChong
    Gao, Zhong
    7TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE IN CONJUNCTION WITH 2ND IEEE/ACIS INTERNATIONAL WORKSHOP ON E-ACTIVITY, PROCEEDINGS, 2008, : 624 - 629
  • [3] Modeling and Verification of Temporal Constraints for Web Service Composition
    Benabdelhafid, Maya Souilah
    Boubaker, Houda
    Boufaida, Mahmoud
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2021, 12524 : 21 - 29
  • [4] Specification and Verification of Data and Time in Web Service Composition
    Zhang, Guangquan
    Di, Haojun
    Rong, Mel
    Shi, Huijuan
    WEB INFORMATION SYSTEMS AND MINING, PT II, 2011, 6988 : 436 - +
  • [5] A Formal Verification for Web Service Composition Based on CCS
    Yun, B. S.
    Yan, J. W.
    Liu, M.
    MANUFACTURING AUTOMATION TECHNOLOGY, 2009, 392-394 : 330 - 334
  • [6] Efficient run-time verification of web service composition
    Yau, Yik-Shiung
    Chua, Fang-Fang
    International Journal of Web Engineering and Technology, 2015, 10 (02) : 170 - 198
  • [7] The TCPN-based verification of temporal consistency in Web Service process
    Jiang Hao
    Sun Zhi-jian
    ICEBE 2006: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2006, : 302 - +
  • [8] Set partition and trace based verification of Web service composition
    Rai, Gopal N.
    Gangadharan, G. R.
    6TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2015), THE 5TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2015), 2015, 52 : 278 - 285
  • [9] Hierarchical verification for web service composition based on petri net
    Wang, L.
    Wang, Z. G.
    BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY, 2018, 123 : 36 - 37
  • [10] Formal description and verification of Web service composition based on OOPN
    Su, Jindian
    Yu, Shanshan
    Guo, Heqing
    ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS: WITH ASPECTS OF THEORETICAL AND METHODOLOGICAL ISSUES, 2008, 5226 : 644 - +
12345