A Model Analyzing Method for OWL-S Services Composition Based on High Level Petri Net

被引：0
|
作者：
Dong, Shaoran [1 ]
Li, Zengzhi [1 ]
机构：
[1] Xi An Jiao Tong Univ, Inst Comp Syst Architecture & Network, Xian 710049, Peoples R China
来源：
2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 1 | 2009年
关键词：
OWL-S; type checking; deadlock; performance analyzing;
D O I：
10.1109/KAM.2009.18
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
To analyze model of Web Services composition, firstly analyze and abstract dataflow and control construct in OWL-S process to build High Level Petri Net model, then describe Petri Net in Poses++ language, at last simulate Petri Net with Poses++ to check data type and deadlock and calculate service performance. The experiment shows that this model analyzing method is able to accomplish type checking and deadlock and performance analyzing.
引用
收藏
页码：47 / 50
页数：4
相关论文
共 50 条
  • [1] Characterizing services composeability and OWL-S based services composition
    Yang, ZH
    Zhang, JB
    Tao, J
    Gay, R
    [J]. GRID AND COOPERATIVE COMPUTING - GCC 2005, PROCEEDINGS, 2005, 3795 : 244 - 249
  • [2] Verification Web Services Composition Based on OWL-S
    Xia, Hong
    Li, Zengzhi
    [J]. 2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 1, 2009, : 164 - 167
  • [3] A high-level Petri net based model for web services composition and verification
    Chemaa, Sofiane
    Bouarioua, Mouna
    Chaoui, Allaoua
    [J]. INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2015, 51 (04) : 306 - 323
  • [4] Hierarchical composition of OWL-S web services
    Dong, Jing
    Sun, Yongtao
    Zhao, Yajing
    [J]. SERA 2008: 6TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS, PROCEEDINGS, 2008, : 187 - +
  • [5] OWL-S atomic services composition with SWRL rules
    Redavid, Domenico
    Iannone, Luigi
    Payne, Terry
    Semeraro, Giovanni
    [J]. FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2008, 4994 : 605 - +
  • [6] Petri-Net-Based Analysis Method for Grid Services Composition Model
    Yu Xue-li
    Jiang Jing
    Xia Bai-qiang
    Pan Zhen-kuan
    [J]. 2010 INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING AND COMMUNICATION AND 2010 ASIA-PACIFIC CONFERENCE ON INFORMATION TECHNOLOGY AND OCEAN ENGINEERING: CICC-ITOE 2010, PROCEEDINGS, 2010, : 180 - 184
  • [7] Research on Converged Service Composition Based on Extending CSTA Services with OWL-S
    Peng Rongqun
    Mi Zhengkun
    Wang Lingjiao
    [J]. 2009 5TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-8, 2009, : 4904 - 4907
  • [8] Research on Semantic Web Services Composite Model Based on the OWL-S
    Wu, Tiezhou
    Xiang, Jianfeng
    Wang, Mingyue
    [J]. ADVANCED RESEARCH ON AUTOMATION, COMMUNICATION, ARCHITECTONICS AND MATERIALS, PTS 1 AND 2, 2011, 225-226 (1-2): : 75 - 79
  • [9] TRANSLATING WEB SERVICES COMPOSITION PLANS TO OWL-S DESCRIPTIONS
    Ziaka, Eva
    Vrakas, Dimitris
    Bassiliades, Nick
    [J]. ICAART 2011: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, 2011, : 167 - 176
  • [10] A high-level Petri net based approach for modeling and composition of web services
    Chemaa, Sofiane
    Bachtarzi, Faycal
    Chaoui, Allaoua
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, ICCS 2012, 2012, 9 : 469 - 478
12345