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

【Abstract】 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.更多还原