基于petri网的web服务组合与分析

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