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 条
  • [31] Reusing Petri nets through the semantic web
    Gasevic, D
    Devedzic, V
    SEMANTIC WEB: RESEARCH AND APPLICATIONS, 2004, 3053 : 284 - 298
  • [32] Functional Verification Methodology Using Hierarchical Coloured Petri Nets-based Testbenches
    Rodrigues, Cassio L.
    Morais, Fabio J.
    Silva, Leandro M. L.
    da Silva, Karina R. G.
    de Figueiredo, Jorge C. A.
    Guerrero, Dalton D. S.
    Melcher, Elmar
    2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), VOLS 1-6, 2008, : 2092 - +
  • [33] Formal requirements modelling with executable use cases and coloured Petri nets
    Jorgensen, Jens B.
    Tjell, Simon
    Fernandes, Joao M.
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (01) : 13 - 25
  • [34] Formal requirements modelling with executable use cases and coloured Petri nets
    Jens B. Jørgensen
    Simon Tjell
    João M. Fernandes
    Innovations in Systems and Software Engineering, 2009, 5 (1)
  • [35] Towards efficient verification for process composition of semantic web services
    Luo, Nan
    Yan, Junwei
    Liu, Min
    2007 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, 2007, : 220 - +
  • [36] Petri net based semantic web service composition
    1600, Science and Engineering Research Support Society (09):
  • [37] Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
    Simonsen, Kent Inge Fagerland
    Kristensen, Lars M.
    Kindler, Ekkart
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI, 2016, 9930 : 1 - 27
  • [38] A formal and visual modeling approach to choreography based web services composition and conformance verification
    Yeung, W. L.
    EXPERT SYSTEMS WITH APPLICATIONS, 2011, 38 (10) : 12772 - 12785
  • [39] Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets
    Huang, Hejiao
    Kirchner, Helene
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2011, 8 (06) : 852 - 865
  • [40] Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets
    Westergaard, Michael
    Maggi, Fabrizio M.
    APPLICATIONS AND THEORY OF PETRI NETS, 2011, 6709 : 169 - 188
12345