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

摘要：

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

关键词： 过程网 模型转换 模型验证 服务组装

作者: 赵文 袁崇义 张世琨 王立福

作者单位: 北京大学信息科学技术学院,北京,100871

会议类型: 国内会议

会议名称: 全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会

会议地点: 南京

会议语种:中文

页码: 186-190

在线出版日期: 2006-10-01（万方平台首次上网日期，不代表论文的发表时间）