基于Petri网的复合Web Service构造与分析

摘要：

利用Petri网对工作流模型进行分析与验证是目前行之有效的一种方法.该文应用工作流思想研究Web Services的复合问题,利用Petri网技术分析Web Services的调用过程,并对Web Services网进行形式化分析,给出Web Services复合群到工作流网的映射规则.

关键词：Petri网、复合Web Services、映射算法

所属期刊栏目：5

分类号：TP311(计算技术、计算机技术)

在线出版日期：2009-10-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：6685-6686