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

2009 Second International Symposium on Knowledge Acquisition and Modeling Pub Date : 2009-11-30 DOI:10.1109/KAM.2009.18

Shaoran Dong, Zeng-zhi Li

引用次数: 1

Abstract

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.

查看原文本刊更多论文

基于高级Petri网的OWL-S服务组合模型分析方法

在分析Web Services组成模型时，首先对OWL-S过程中的数据流和控制结构进行分析和抽象，建立高级Petri网模型，然后用posites++语言对Petri网进行描述，最后用posites++对Petri网进行仿真，检查数据类型和死锁，计算服务性能。实验表明，该模型分析方法能够完成类型检查、死锁和性能分析。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2009 Second International Symposium on Knowledge Acquisition and Modeling

自引率

0.00%

发文量