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

Translating Colored Petri Nets Collaboration Model to BPEL

作　　者：邓新国[1] 林子禹[1] 陈伟清[1] 肖如良[1] 李玲[1] 房丽娜[1] 

机构地区：[1]武汉大学软件工程国家重点实验室,武汉430072

出　　处：《计算机科学》2008年第11期262-266,共5页Computer Science

基　　金：国家自然科学基金(No.90604005)

摘　　要：Web服务业务流程执行语言(BPEL)提供了有力的技术来聚合封装的功能以及定义高质量的Web服务,然而,尽管功能强大,但是BPEL却难于使用。另一方面,有色Petri(CPNs)可以用于模拟、分析以及校验Web服务。为了在CPNs协作模型和业务流程的执行之间建立一座桥梁,给出了基于CPNs从过程模型驱动演绎出一致的BPEL代码的方法。首先,把CPNs协作模型转换为结构工作流网模型;然后,把工作流网模转换为BPEL代码,最后,通过电话机故障修理的案例研究,说明了算法的有效性。The business process execution language for Web services （BPEL） provides a powerful technology to aggregate encapsulated functionalities and define high-value Web services. While being a powerful language, BPEL is difficult to use. On the other hand, the colored Petri nets （CPNs） allow for the modeling, analysis and verification of Web services. In order to build a bridge between the CPNs collaboration model and the execution of the business processes, the CPNs based approach for process-model driven deduction of compatible BPEL code was presented. At first, the CPNs collaboration model was transformed into structured workflow net （WF net） model. Then, the WF-net model was transformed into the BPEL code. At last, the case study of repairing telephones was provided to illustrate the applicability of the transformation algorithm.

关 键 词：PETRI网 模型 BPEL WEB服务 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构] TN929.53[自动化与计算机技术—计算机科学与技术]