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 条
  • [11] Time-Based Web Service Composition
    Bey, Fella
    Bouyakoub, Samia
    Belkhir, Abdelkader
    INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS, 2018, 14 (02) : 113 - 137
  • [12] Semantic web service composition by consistency-based model refinement
    Thiagarajan, Rajesh
    Stumptner, Markus
    Mayer, Wolfgang
    2ND IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, PROCEEDINGS, 2007, : 336 - 343
  • [13] Formal modeling and verification for web service composition
    Tian, Baojun
    Gu, Yanlin
    Journal of Software, 2013, 8 (11) : 2733 - 2737
  • [14] Compatibility Verification of Web Service Composition Based on Pi-calculus
    Jia, Zhichun
    Xing, Xing
    PROCEEDINGS OF THE 2015 JOINT INTERNATIONAL MECHANICAL, ELECTRONIC AND INFORMATION TECHNOLOGY CONFERENCE (JIMET 2015), 2015, 10 : 244 - 248
  • [15] Research on reachability verification of Web service composition
    Cheng, Yongshang
    Wang, Zhijian
    2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 4, PROCEEDINGS, 2009, : 233 - +
  • [16] Algebraic modeling and verification of Web service composition
    Rai, Gopal N.
    Gangadharan, G. R.
    Padmanabhan, Vineet
    6TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2015), THE 5TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2015), 2015, 52 : 675 - 679
  • [17] Towards formal verification of web service composition
    Bai, XX
    Fan, YS
    PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2: INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT IN THE GLOBAL ECONOMY, 2005, : 577 - 581
  • [18] Formal modeling and verification of cloud-based web service composition
    Raza Kazmi, Syed Asad
    Qasim, Awais
    Khalid, Adnan
    Assad, Ruttaba
    Shahbaz, Muhammad
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2020, 32 (21):
  • [19] An Application of Bitwise-based Indexing to Web Service Composition and Verification
    Huynh, Khai T.
    Bui, Thang H.
    Quan, Tho T.
    2016 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND APPLICATIONS (ACOMP), 2016, : 51 - 58
  • [20] Towards formal verification of web service composition
    Rouached, Mohsen
    Perrin, Olivier
    Godart, Claude
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2006, 4102 : 257 - 273
12345