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 条
  • [1] Web Service Composition with Petri Net and Ontology
    Marakhimov, Azizbek
    Yim, Jaegeol
    Joo, Jaehun
    [J]. ADVANCED METHODS AND TECHNOLOGIES FOR AGENT AND MULTI-AGENT SYSTEMS, 2013, 252 : 385 - 394
  • [2] A proposal for Petri net based web service application modeling
    Moldt, D
    Offermann, S
    Ortmann, J
    [J]. WEB ENGINEERING, PROCEEDINGS, 2004, 3140 : 93 - 97
  • [3] A Petri Net Theory-Based Method for Modeling Web Service-Based Systems
    Han, Rendong
    Ju, Yanbing
    Liu, Kecheng
    Zhao, Jinghua
    [J]. 2008 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-31, 2008, : 12192 - +
  • [4] A web service composition modeling and evaluation method used Petri net
    Feng, XN
    Liu, Q
    Wang, Z
    [J]. ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, 2006, 3842 : 905 - 911
  • [5] Analytical method of Web service composition based on Petri net
    Zhang, Chang-You
    Cao, Yuan-Da
    Hu, Jing-Jing
    Jin, Jun
    Yu, Jiong
    [J]. Beijing Ligong Daxue Xuebao/Transaction of Beijing Institute of Technology, 2009, 29 (07): : 618 - 621
  • [6] RESEARCH ON WORKFLOW MODELING BASED ON COLOURED PETRI NET
    Zhang Liang
    Yao Jiayi
    Zhang Yingrui
    [J]. ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1, 2011, : 423 - 426
  • [7] Formalizing Web Service and modeling web service-based system based on Object Oriented Petri net
    Tao, XF
    Jiang, CJ
    [J]. GRID AND COOPERATIVE COMPUTING, PT 1, 2004, 3032 : 1008 - 1011
  • [8] Modeling and Analysis of a Web Service Firewall Using Coloured Petri Nets
    Aliannezhadi, Zobeideh
    Azgomi, Mohammad Abdollahi
    [J]. 2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, : 548 - +
  • [9] Hierarchical Object-Oriented Petri Net Modeling Method based on Ontology
    Feng Xiaoning
    Wang Zhuo
    Yin Guisheng
    [J]. ICICSE: 2008 INTERNATIONAL CONFERENCE ON INTERNET COMPUTING IN SCIENCE AND ENGINEERING, PROCEEDINGS, 2008, : 553 - 556
  • [10] Web-based interfaces for simulation of coloured petri net models
    Lindstrøm B.
    [J]. International Journal on Software Tools for Technology Transfer, 2001, 3 (04) : 405 - 416
12345