有色Petri网协作模型的BPEL代码实现

摘要：

Web服务业务流程执行语言(BPEL)提供了有力的技术来聚合封装的功能以及定义高质量的Web服务,然而,尽管功能强大,但是BPEL却难于使用.另一方面,有色Petri(CPNs)可以用于模拟、分析以及校验Web服务.为了在CPNs协作模型和业务流程的执行之间建立一座桥梁,给出了基于CPNs从过程模型驱动演绎出一致的BPEL代码的方法.首先,把CPNs协作模型转换为结构工作流网模型;然后,把工作流网模转换为BPEL代码,最后,通过电话机故障修理的案例研究,说明了算法的有效性.

关键词：Petri网、模型、BPEL、Web服务

所属期刊栏目：35

分类号：TP3;TN9

资助基金：国家自然科学基金90604005

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

页数：共5页

页码：262-266