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 条
  • [21] Timing Constraints Specification and Verification for Web Service Compositions
    Dai, Guilan
    Liu, Rujuan
    Zhao, Chongchong
    Hu, Changjun
    2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, : 315 - +
  • [22] Independent Global Constraints for Web Service Composition Based on GA and APN
    Fang, Xianwen
    Jiang, Changjun
    Fan, Xiaoqin
    WORLD SUMMIT ON GENETIC AND EVOLUTIONARY COMPUTATION (GEC 09), 2009, : 119 - 126
  • [23] Web service dynamic composition based on decomposition of global QoS constraints
    Zhi-Zhong Liu
    Xiao Xue
    Ji-quan Shen
    Wen-Rui Li
    The International Journal of Advanced Manufacturing Technology, 2013, 69 : 2247 - 2260
  • [24] Local Consistency Reinforcement for Enhancing Web Service Composition
    AlQabasani, Ahad
    Ben Hassine, Ahlem
    Bramantoro, Arif
    AlMunchi, Asma
    JOURNAL OF WEB ENGINEERING, 2022, 21 (04): : 989 - 1015
  • [25] Web service dynamic composition based on decomposition of global QoS constraints
    Liu, Zhi-Zhong
    Xue, Xiao
    Shen, Ji-quan
    Li, Wen-Rui
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2013, 69 (9-12): : 2247 - 2260
  • [26] Web service dynamic composition based on decomposition of global QoS constraints
    Liu, Z.-Z. (lzzmff@126.com), 1600, Springer London (69): : 9 - 12
  • [27] Verification of the consistency of timing constraints of the orchestration of factory automation web services
    Popescu, Corina
    Lastra, Jose L. Martinez
    2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 785 - 790
  • [28] Cloud Manufacturing Service Composition Modeling and Formal Verification Based on Calculus for Orchestration of Web Service
    Li Yongxiang
    Yao Xifan
    Zhang Jie
    Li Bin
    2013 25TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2013, : 2806 - 2810
  • [29] Web service composition verification based on symbol model checking and Petri nets
    Zhang, Shijie
    Xu, Peng
    Xu, Yang
    DEVELOPMENTS OF ARTIFICIAL INTELLIGENCE TECHNOLOGIES IN COMPUTATION AND ROBOTICS, 2020, 12 : 309 - 316
  • [30] Web Service Composition Verification of Safety Properties: an Approach Based on Predicate Abstraction
    Wang Yuying
    Chen Ping
    MATERIALS PROCESSING AND MANUFACTURING III, PTS 1-4, 2013, 753-755 : 2892 - 2899
12345