语义标记Petri网的组合Web服务建模与验证

摘要：

随着Web服务组合的发展,整合业务过程成为可能.组合Web服务可以被看作是基于过程的工作流.由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行,因此这些错误应在组合Web服务执行前被检测出并修改.提出了基于语义标记Petri网的组合Web服务建模与验证方法.首先提出语义标记Petri网(SaPNs),并给出其语义;用受限描述逻辑tableau算法获得组合Web服务;使用SaPNs描述组合Web服务及其组成部分;最后,使用基于SaPNs的分析方法验证了组合Web服务.使用该方法在开放的Internet环境下可以获得满足客户需求的、可靠的组合Web服务.

关键词：Petri网、Web服务、语义匹配

所属期刊栏目：3

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

资助基金：The National Natural Science Foundation of China under Grant No.60433010,60873018;the Defense Pre-Research Project of China under Grant No.51315050105;the Specialized Research Foundation for the Doctoral Program of Chinese Higher Education under Grant No.200807010012;the Foundation of State Key Laboratory of Software Engineering of Wuhan University No.20080713

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

页数：共15页

页码：173-187