The TCPN-based verification of temporal consistency in Web Service process

被引：0
|
作者：
Jiang Hao [1 ]
Sun Zhi-jian [1 ]
机构：
[1] Southeast Univ, Sch Comp Sci & Engn, Nanjing, Peoples R China
来源：
ICEBE 2006: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS | 2006年
关键词：
TCPN; Web Service process; temporal consistency;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
In recent Years, time management is considered indispensable when tackling complex web-based business collaborations between enterprises in e-business environments. Unfortunately, current researches mainly focus on the modeling and analyzing of Web Service process, while ignoring the time factors. With many kinds of specifications of Web Service process, such as BPEL, WSEL, as a result, Web Services can be easily integrated. However, in practice many Web Services for e-business have temporal restrictions. Furthermore, the verification of temporal consistency becomes more complex. Based on Temporal constraint Petri net (TCPN) model of Web Service process and temporal reasoning rules, the paper presents a method for verifying the temporal consistency in Web Service process, which can greatly enhance the time management finctionality..
引用
收藏
页码：302 / +
页数：2
相关论文
共 50 条
  • [1] A TCPN-based model for testing distributed systems with timing constraints
    Azzouzi, Salma
    Charaf, My El Hassan
    [J]. INTERNATIONAL JOURNAL OF MODELLING IDENTIFICATION AND CONTROL, 2022, 41 (04) : 343 - 356
  • [2] Verification for time consistency of web service flow
    Liu, Rujuan
    Hu, Changjun
    Zhao, ChongChong
    Gao, Zhong
    [J]. 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] Verification of Time Constraints Consistency on Web Service Composition based on ETPN
    Chen, Ting-wei
    Geng, Shuo-yang
    [J]. INFORMATION TECHNOLOGY FOR MANUFACTURING SYSTEMS II, PTS 1-3, 2011, 58-60 : 1094 - 1099
  • [4] Modeling and Verification of Temporal Constraints for Web Service Composition
    Benabdelhafid, Maya Souilah
    Boubaker, Houda
    Boufaida, Mahmoud
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2021, 12524 : 21 - 29
  • [5] Consistency verification of UML diagrams based on process bisimulation
    Yokogawa, Tomoyuki
    Amasaki, Sousuke
    Okazaki, Keisuke
    Sato, Yoichiro
    Arimoto, Kazutami
    Miyazaki, Hisashi
    [J]. 2013 IEEE 19TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2013), 2013, : 126 - 127
  • [6] Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models
    Zhao, Deng
    Gaaloul, Walid
    Zhang, Wenbo
    Zhu, Chunsheng
    Zhou, Zhangbing
    [J]. IEEE ACCESS, 2018, 6 : 59843 - 59852
  • [7] Model-based verification of web service compositions
    Foster, H
    Uchitel, S
    Magee, J
    Kramer, J
    [J]. 18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 152 - 161
  • [8] A Formal Verification for Web Service Composition Based on CCS
    Yun, B. S.
    Yan, J. W.
    Liu, M.
    [J]. MANUFACTURING AUTOMATION TECHNOLOGY, 2009, 392-394 : 330 - 334
  • [9] Towards consistency of web service architectures
    Heckel, R
    Küster, J
    Voigt, H
    Thöne, S
    [J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 428 - 433
  • [10] Role-Based Consistency Verification for Privacy-Aware Web Services
    Liu, Linyuan
    Huang, Zhiqiu
    Zhu, Haibin
    [J]. PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON COLLABORATIVE TECHNOLOGIES AND SYSTEMS, 2009, : 423 - +
12345