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 条
  • [21] New formal descriptions for timed coloured Petri nets using formal series
    Sollier, Louis Bal Dit
    Ourghanlian, Alain
    Amari, Said
    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 7373 - 7379
  • [22] Semantic Web Service Composition Using Formal Verification Techniques
    Kil, Hyunyoung
    Nam, Wonhong
    COMPUTER APPLICATIONS FOR DATABASE, EDUCATION, AND UBIQUITOUS COMPUTING, 2012, 352 : 72 - +
  • [23] FORMAL APPROACH BASED ON PETRI NETS FOR MODELING AND VERIFICATION OF VIDEO GAMES
    Barreto, Franciny M.
    Julia, Stephane
    COMPUTING AND INFORMATICS, 2021, 40 (01) : 216 - 248
  • [24] COLOURED PETRI NETS WITH PARALLEL COMPOSITION TO SEPARATE CONCERNS
    Roubtsova, Ella
    McNeile, Ashley
    ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2010, : 501 - 504
  • [25] Stability verification of Proxy Firewall using Coloured Petri Nets
    Lee, MK
    SAM'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT, VOLS 1 AND 2, 2003, : 352 - 358
  • [26] Failures Handling Strategies of Web Services Composition Base on Petri Nets
    Wang, Guan
    Yang, Bin
    INTELLIGENT COMPUTING METHODOLOGIES, ICIC 2018, PT III, 2018, 10956 : 608 - 617
  • [27] A Petri Nets based functional validation for services composition
    Yoo, Taejong
    Jeong, Buhwan
    Cho, Hyunbo
    EXPERT SYSTEMS WITH APPLICATIONS, 2010, 37 (05) : 3768 - 3776
  • [28] Petri-nets for formal verification of MAC protocols
    Haines, R. J.
    Clemo, G. R.
    Munro, A. T. D.
    IET SOFTWARE, 2007, 1 (02) : 39 - 47
  • [29] A high-level Petri net based model for web services composition and verification
    Chemaa, Sofiane
    Bouarioua, Mouna
    Chaoui, Allaoua
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2015, 51 (04) : 306 - 323
  • [30] A theorem proving framework for the formal verification of Web Services Composition
    Papapanagiotou, Petros
    Fleuriot, Jacques D.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (61): : 1 - 16
12345