一种BPEL过程模型验证方法及实现算法

摘要

服务组装技术已经成为面向服务计算SOC的主要研究方向之一.作为一种基于工作流的服务组装语言,BPEL4WS为Internet/Intranet环境下的分布式应用集成提供了有力的支持.BEPL过程模型的分析和优化是基于Web service的业务过程重组的重要基础.借助Petri网的建模和分析能力,本文提出了一种"先转换后验证"的分析方法,用于检测过程模型的畅通性问题.首先,本文给出了一种基于Petri网P/T系统的工作流过程模型"过程网".为了进行验证,通过定义的转换规则,把BPEL过程模型转换为过程网.然后,使用过程网的分析方法(即一种基于化简的过程模型验证方法)进行模型验证.最后,给出了过程模型验证方法的实现算法.