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

The Composition and Analysis of Web Service Based on Petri Net

作　　者：闫春钢[1,2] 蒋昌俊[1,2] 李启炎[1,2] 

机构地区：[1]同济大学计算机科学与技术系,上海200092 [2]国家高性能计算机工程技术研究中心同济分中心,上海201804

出　　处：《计算机科学》2007年第2期100-103,124,共5页Computer Science

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

摘　　要：Web服务为互联网提供了一种新的应用环境。然而,Web服务还有许多需要进一步研究的问题。Web服务的组合及其验证就是需要深入研究的问题。本文针对通用构件描述语言(UCDL)提出一种Petri网模拟和验证方法,即对于Web服务的元活动和构件,提出相应的Petri网模型和建模方法。在此基础上进一步研究了Web服务系统Petri网的语言表达式生成算法,从而为Web服务系统的验证分析提供了有效工具。Web service provides a new application environment for Internet. However, Web service still has many problems need further study, e.g. Web service composition and verification. This paper presents a Petri Net modeling and verifying method for Universal Component Description Language （UCDL）, that is to say, presents corresponding Petri net models and modeling method for Web service meta-activities and components. On the basic of above all, research of Petri net language expression generation algorithm for Web service system is further carried out. Thereby, an efficient tool for verification and analysis of Web service system is provided.

关 键 词：PETRI网 化简技术 WEB服务组合 语言 表达式 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]