%0 Journal Article
%T 基于petri网的web服务组合与分析
%J 计算机科学
%D 2007
%X web服务为互联网提供了一种新的应用环境。然而，web服务还有许多需要进一步研究的问题。web服务的组合及其验证就是需要深入研究的问题。本文针对通用构件描述语言（ucdl）提出一种petri网模拟和验证方法，即对于web服务的元活动和构件，提出相应的petri网模型和建模方法。在此基础上进一步研究了web服务系统petri网的语言表达式生成算法，从而为web服务系统的验证分析提供了有效工具。
%K petri网化简技术web服务组合语言表达式
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=23783858&flag=1