学位论文 > 优秀研究生学位论文题录展示

基于Petri-net的BPEL建模方法研究

作　者: 刘晓冬
导　师: 姚绍文
学　校: 云南大学
专　业: 系统分析与集成
关键词: Petri‐net BPEL 可达性检验
分类号: TP393.09
类　型: 硕士论文
年　份: 2010年
下　载: 47次
引　用: 2次
阅　读: 论文下载

内容摘要

Petri‐net作为主要的流程建模方法，BPEL作为描述业务流程的主要技术，这两者都得到了学术界和工业界的普遍重视。它们在业务流程上的应用，使得Web服务以业务流程为基础的组合方法得以更高效进行。目前，结合形式化的描述利用Petri‐net对BPEL语言进行建模，是当前研究的一个分支方向。本文在经典Petri‐net基础上进行了针对这方面问题的深入研究，本文所做工作如下：1.本文在BPEL语言原有的层次化描述业务流程的基础上，提出了基于Petri‐net对BPEL建模的方法，并使用这种方法建立了具体模型。在建模过程中，所建立的模型与BPEL描述的活动相对应，对建立Petri‐net模型的BPEL活动以形式化的语言结合Petri‐net图的方式来进行描述。2.将Petri‐net对BPEL活动所建立的模型以可达图的方式表现出来，对每一步业务流程执行的状态进行跟踪。根据所建立模型的可达图，分析其中状态的分布是否和业务流程的执行结果相一致。3.基于已有的工作对应用实例进行分析，建立应用实例的模型，对应用实例的业务流程进行了形式化描述，并对所建立的模型以可达图为基础进行可达性分析，体现了所做研究是切实可行的。

全文目录

摘要  3-4
Abstract  4-7
插图目录  7-8
代码目录  8-9
第一章绪论  9-17
  1.1 研究背景  9-10
  1.2 国内外研究现状  10-12
  1.3 研究中存在的问题  12-14
  1.4 本论文的研究内容  14-15
  1.5 本论文的研究目标及研究意义  15-16
  1.6 本论文组织结构  16-17
第二章相关理论和技术分析  17-29
  2.1 Petri-net 理论  17-21
  2.2 BPEL 技术背景  21-23
  2.3 基于 Petri-net 的 BPEL 建模方法研究背景  23-28
  2.4 本章小结  28-29
第三章 Petri-net 对 BPEL 的建模方法  29-39
  3.1 Petri-net 对 BPEL 建模方法定义  29
  3.2 Petri-net 对BPEL 活动的建模及形式化描述  29-38
  3.3 本章小结  38-39
第四章 Petri-net 对 BPEL 所建模型的可达性分析  39-49
  4.1 建模可达性分析的意义  39
  4.2 已建立结构活动模型的可达性分析  39-48
  4.3 本章小结  48-49
第五章应用实例分析  49-61
  5.1 应用实例介绍  49
  5.2 应用实例的 BPEL 描述以及 Petri-net 建模  49-57
  5.3 Petri-net 对 BPEL 所描述应用实例所建模型的可达性分析  57-60
  5.4 本章小结  60-61
第六章结束语  61-64
  6.1 主要结论  61-62
  6.2 工作展望  62-64
参考文献  64-66
致谢  66-67
研究生期间所做的工作  67

基于Petri-net的BPEL建模方法研究

内容摘要

全文目录

相似论文