一种基于Petri网的网络服务兼容性分析方法

摘要：

针对目前基于网络服务业务过程执行语言(BPEL)的网络服务合成方法缺乏网络服务的兼容性分析机制,不能保证基于网络服务技术的业务过程正确执行的问题,建立了一种能从形式化的角度描述网络服务的接口交互情况的基于Petri网的多元工作流组合网模型,提出了一种能更快地获得网络服务可用性结果的网络服务兼容性判断算法.最后,提出了基于该算法的原型系统架构.

关键词：网络服务、Petri网、兼容性分析

所属期刊栏目：18

分类号：TP3;F27

资助基金：863计划2006AA04Z151;国家自然科学基金60674080;973计划2006CB705407

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

页数：共5页

页码：943-947