| 一种基于Petri网的服务组合流程分析方法 |
| |
| 引用本文： | 范贵生,虞慧群,陈丽琼,刘冬梅.一种基于Petri网的服务组合流程分析方法[J].华东理工大学学报(自然科学版),2009,35(1). |
| |
| 作者姓名： | 范贵生 虞慧群 陈丽琼 刘冬梅 |
| |
| 作者单位： | 1. 华东理工大学计算机科学与工程系,上海,200237
2. 华东理工大学计算机科学与工程系,上海,200237;上海市计算机软件评测重点实验室,上海,201112 |
| |
| 基金项目： | 国家自然科学基金(60473055,60773094);;上海市曙光计划(07SG32) |
| |
| 摘 要： | 虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。
|
| 关 键 词： | 可组合性 Petri网 建模 验证 |
A Petri Net-Based Analysis Method for Service Composition Process |
| |
| FAN Gui-sheng,YU Hui-qun,CHEN Li-qiong,LIU Dong-mei.A Petri Net-Based Analysis Method for Service Composition Process[J].Journal of East China University of Science and Technology,2009,35(1). |
| |
| Authors: | FAN Gui-sheng YU Hui-qun CHEN Li-qiong LIU Dong-mei |
| |
| Institution: | 1.Department of Computer Science and Engineering;East China University of Science and Technology;Shanghai 200237;China;2.Shanghai Key Laboratory of Computer Software Evaluating and Testing;Shanghai 201112;China |
| |
| Abstract: | Although business process execution language for Web services(BPEL) has many features that make it suitable for describing service composition,it lacks formal semantics so that composition process cannot be strictly analyzed and verified.In this paper,a Petri net-based analysis method for(composition) process is proposed.Petri net is applied to describe the semantics of BPEL and define the basic activities and relationships of service processes.By constructing the example net of the target service,a decisio... |
| |
| Keywords: | BPEL compositionality Petri net modeling verification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
