Formal verification for semantic Web services composition based on coloured Petri nets

被引：0
|
作者：
Ni, Yue [1 ,2 ]
Fan, Yushun [1 ]
机构：
[1] Department of Automation, Tsinghua University, Beijing 100084, China
[2] Department No.1, Guilin Air Force Academy, Guilin 541003, China
来源：
Qinghua Daxue Xuebao/Journal of Tsinghua University | 2010年 / 50卷 / 05期
关键词：
Formal verification;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：714 / 717
相关论文
共 50 条
  • [1] Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets
    Cheng, Jiujun
    Liu, Cong
    Zhou, MengChu
    Zeng, Qingtian
    Yla-Jaaski, Antti
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2015, 12 (02) : 680 - 689
  • [2] Model transformation and formal verification for Semantic Web Services composition
    Ni, Yue
    Fan, Yushun
    ADVANCES IN ENGINEERING SOFTWARE, 2010, 41 (06) : 879 - 885
  • [3] A Framework for the composition and formal verification of adaptable semantic Web services
    Ben Lamine, Rihab
    Ben Djemaa, Raoudha
    Amous, Ikram
    16TH INTERNATIONAL CONFERENCE ON ADVANCES IN MOBILE COMPUTING AND MULTIMEDIA (MOMM 2018), 2014, : 25 - 33
  • [4] Pure Petri Nets for Software Verification and Validation of Semantic Web Services in Graphical Worlds
    Iglesias, Andres
    INTERNATIONAL JOURNAL OF FUTURE GENERATION COMMUNICATION AND NETWORKING, 2010, 3 (01): : 33 - 45
  • [5] Modeling agent-based semantic Web services with Petri nets
    Ma, Bing-Xian
    Wu, Zhe-Hui
    Xie, Neng-Fu
    Xitong Fangzhen Xuebao / Journal of System Simulation, 2005, 17 (01): : 120 - 123
  • [6] Formal Translation from Reversing Petri Nets to Coloured Petri Nets
    Barylska, Kamila
    Gogolinska, Anna
    Mikulski, Lukasz
    Philippou, Anna
    Piatkowski, Marcin
    Psara, Kyriaki
    REVERSIBLE COMPUTATION, 2022, : 172 - 186
  • [7] Formal Verification in Web Services Composition
    Todica, Valeriu
    Vaida, Mircea-Florin
    Cremene, Marcel
    2012 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS, THETA 18TH EDITION, 2012, : 195 - 200
  • [8] Software Components: a Formal Semantics Based on Coloured Petri Nets
    Bastide, Remi
    Barboni, Eric
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 : 57 - 73
  • [9] Formal Modelling and Verification of a Component Model using Coloured Petri Nets and Model Checking
    Oliveira, Elthon
    Almeida, Hyggo
    Silva, Leandro
    APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1427 - +
  • [10] A Mediation Based Approach for Formal Verification of Web Services Composition
    Maraoui, Raoudha
    Cariou, Eric
    2017 INTERNATIONAL CONFERENCE ON ENGINEERING & MIS (ICEMIS), 2017,
12345