基于Petri网的Web服务组合与分析

摘要：

Web服务为互联网提供了一种新的应用环境.然而,Web服务还有许多需要进一步研究的问题.Web服务的组合及其验证就是需要深入研究的问题.本文针对通用构件描述语言(UCDL)提出一种Petri网模拟和验证方法,即对于Web服务的元活动和构件,提出相应的Petri网模型和建模方法.在此基础上进一步研究了Web服务系统Petri网的语言表达式生成算法,从而为Web服务系统的验证分析提供了有效工具.

关键词：Petri网、化简技术、Web服务组合、语言、表达式

所属期刊栏目：34

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

资助基金：国家自然科学基金60125205;60534060

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

页数：共5页

页码：100-103,124