Modeling Method of Ontology Web Service Interaction Based on Coloured Petri Net

被引：0
|
作者：
Su, Meng [1 ]
Gao, Jing [1 ]
机构：
[1] Inner Mongolia Agr Univ, Coll Comp & Informat Engn, Hohhot, Peoples R China
来源：
2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS) | 2014年
关键词：
Coloured Petri net; OWL-S; Web service; Service composition; Service Interaction;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Formal verification of Web service composition is an important means for ensuring the quality of Web service. The Web service composition modeling is a key step of the validation of Web services interaction. Based on the semantic consistency of the Web services description semantic OWL-S and Coloured Petri net, this dissertation proposes a modeling method of Web services interaction based on the OWL-S and Coloured Petri Net and the description rules of OWL-S service operation semantics by CPN. And the analysis and verification of this modeling method has also been done.
引用
下载
收藏
页码：128 / 131
页数：4
相关论文
共 50 条
  • [21] Hierarchical verification for web service composition based on petri net
    Wang, L.
    Wang, Z. G.
    BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY, 2018, 123 : 36 - 37
  • [22] A Petri Net Based Execution Engine for Web Service Composition
    Xu, Kai
    Ma, Bingxian
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2013 WORKSHOPS, 2014, 8182 : 181 - 193
  • [23] Compatibility analysis approach for Petri net based Web service
    Xiong, Pengcheng
    Fan, Yushun
    Gaojishu Tongxin/Chinese High Technology Letters, 2008, 18 (09): : 943 - 947
  • [24] Coloured Petri Net Modeling and Analysis for Community based Wireless Mesh Networks
    Khan, Naeem Akhtar
    Ahmad, Farooq
    Khan, Sher Afzal
    2014 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2014, : 139 - 144
  • [25] A simulation modeling method based on Petri net
    Huang, Yu
    Hu, Xuanzheng
    Lv, Guangxian
    Yang, Renfan
    2015 IEEE 2nd International Conference on Cyber Security and Cloud Computing (CSCloud), 2015, : 283 - 288
  • [26] Web Service Modeling Ontology
    Roman, Dumitru
    Keller, Uwe
    Lausen, Holger
    de Bruijn, Jos
    Lara, Ruben
    Stollberg, Michael
    Polleres, Axel
    Feier, Cristina
    Bussler, Cristoph
    Fensel, Dieter
    APPLIED ONTOLOGY, 2005, 1 (01) : 77 - 106
  • [27] Research on the service modeling method of information management software based on the petri net model
    Rui, S. (hantianfeng@126.com), 2013, Digital Information Research Foundation (11):
  • [28] Coloured Petri Net based PLC program validation with a fast simulation method
    Schne, Tamas
    Holczinger, Tibor
    2013 INTERNATIONAL CONFERENCE ON PROCESS CONTROL (PC), 2013, : 179 - 184
  • [29] Procedural constraints in the extended RBAC and the Coloured Petri Net modeling
    Shin, W
    Lee, JG
    Kim, HK
    Sakurai, K
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005, E88A (01): : 327 - 330
  • [30] A Petri Net Semantics for Web Service Choreography
    Huang, Yu
    Wang, Hanpin
    APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1689 - 1690
12345