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 条
  • [41] Modelling and Verification of Security Rules in an OpenFlow Environment with Coloured Petri Nets
    Torrez Rojas, Marco Antonio
    Ueda, Eduardo Takeo
    Melo de Brito Carvalho, Tereza Cristina
    PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014), 2014,
  • [42] Formal model-based quantitative safety analysis using timed Coloured Petri Nets
    Wu, Daohua
    Zheng, Wei
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2018, 176 : 62 - 79
  • [43] A Formal Verification for Web Service Composition Based on CCS
    Yun, B. S.
    Yan, J. W.
    Liu, M.
    MANUFACTURING AUTOMATION TECHNOLOGY, 2009, 392-394 : 330 - 334
  • [44] An Automated Framework for Formal Verification of Timed Continuous Petri Nets
    Kloetzer, Marius
    Mahulea, Cristian
    Belta, Calin
    Silva, Manuel
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (03) : 460 - 471
  • [45] Modeling and Analysis of a Web Service Firewall Using Coloured Petri Nets
    Aliannezhadi, Zobeideh
    Azgomi, Mohammad Abdollahi
    2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, : 548 - +
  • [46] Extended Coloured Petri Nets with structured Tokens Formal Method for Distributed Systems
    Al Ali, Khaoula
    Fengler, Wolfgang
    Daene, Bernd
    THEORY OF MODELING & SIMULATION: DEVS INTEGRATIVE M&S SYMPOSIUM 2011 (TMS-DEVS 2011) - 2011 SPRING SIMULATION, 2011, 43 (01): : 175 - 182
  • [47] A Coloured Petri Nets Based Attack Tolerance Framework
    Zhou, Wenbo
    Dague, Philippe
    Liu, Lei
    Ye, Lina
    Zaidi, Fatiha
    2020 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020), 2020, : 159 - 168
  • [48] Modeling of coordination policy based on coloured Petri nets
    Li, R., 2001, Xi'an Jiaotong University (35):
  • [49] HLA interoperability analysis based coloured petri nets
    Combettes, S
    Nketsa, A
    MODELLING AND SIMULATION 2002, 2002, : 269 - 272
  • [50] Analyzing Services Composition Using Petri Nets
    Xu, Jiajun
    Yao, Shuzhen
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON SOFT COMPUTING TECHNIQUES AND ENGINEERING APPLICATION, ICSCTEA 2013, 2014, 250 : 443 - 450
12345