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 条
  • [31] Constraint verification failure recovery in web service composition
    Laleh, Touraj
    Paquet, Joey
    Mokhov, Serguei
    Yan, Yuhong
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2018, 89 : 387 - 401
  • [32] A framework for time consistency verification for Web processes based on annotated OWL-S
    Dai, Guilan
    Bai, Xiaoying
    Zhao, Chongchong
    SIXTH INTERNATIONAL CONFERENCE ON GRID AND COOPERATIVE COMPUTING, PROCEEDINGS, 2007, : 346 - +
  • [33] Dynamic Service Selection for Service Composition with Time Constraints
    Ismail, Azlan
    Yan, Ju
    Shen, Jun
    ASWEC 2009: 20TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2009, : 183 - 190
  • [34] Time management for web service composition
    Fan, Fuwei
    Li, Ying
    Deng, Shuiguang
    PROCEEDINGS OF THE 2007 11TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOLS 1 AND 2, 2007, : 550 - +
  • [35] A WEB SERVICE COMPOSITION METHOD BASED ON SUB WEB SERVICE
    Zhang, Bo
    2011 IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND INTELLIGENCE SYSTEMS, 2011, : 438 - 442
  • [36] Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP
    Zhu, Ming
    Li, Jing
    Fan, Guodong
    Zhao, Kunsheng
    9TH INTERNATIONAL CONFERENCE ON EMERGING UBIQUITOUS SYSTEMS AND PERVASIVE NETWORKS (EUSPN-2018) / 8TH INTERNATIONAL CONFERENCE ON CURRENT AND FUTURE TRENDS OF INFORMATION AND COMMUNICATION TECHNOLOGIES IN HEALTHCARE (ICTH-2018), 2018, 141 : 48 - 55
  • [37] Fast and Formalized: Heuristics-based On-the-fly Web Service Composition and Verification
    Huynh, Khai T.
    Quan, Tho T.
    Bui, Thang H.
    PROCEEDINGS OF 2015 2ND NATIONAL FOUNDATION FOR SCIENCE AND TECHNOLOGY DEVELOPMENT CONFERENCE ON INFORMATION AND COMPUTER SCIENCE NICS 2015, 2015, : 174 - 179
  • [38] Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL
    Baryannis, George
    Plexousakis, Dimitris
    SERVICE-ORIENTED COMPUTING - ICSOC 2013 WORKSHOPS, 2014, 8377 : 256 - 270
  • [39] Formalization and Verification of Automatic Composition Based on Pi-Calculus for Semantic Web Service
    Wang, Yong-Lian
    Yu, Xue-Li
    2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 1, 2009, : 103 - 106
  • [40] An ontology-based time semantic specification and verification approach for web service
    Liu, Ru-Juan
    Chen, Jun-Jie
    Wang, Li-Jun
    Xie, Hong-Wei
    Sichuan Daxue Xuebao (Gongcheng Kexue Ban)/Journal of Sichuan University (Engineering Science Edition), 2009, 41 (06): : 158 - 164
12345