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

基于面向对象颜色Petri网的工作流建模方法的研究

专 业: 计算机应用技术
关键词: 工作流 建模 Petri网 面向对象 面向对象颜色Petri网
分类号: TP301
形 态: 共 80 页 约 52,400 个字 约 2.507 M内容
阅 读: 全文阅读说明

内容摘要


工作流管理是一个被业界广泛应用并迅速发展的技术,而工作流建模是工作流技术研究的基础。

本文主要是基于Petri理论对工作流建模方法和模型的分析评价方法进行研究与探索。

本文引入了系统的、形式化的面向对象颜色Petri网的描述规则,以抽象、简便的方法描述客观世界的相互关系;利用面向对象颜色Petri网方法对一个特定的应用系统进行建模,得出了系统各对象的OOCPNObject Oriented Coloured Petri Nets模型和OCNObject Communication Net模型,并利用矩阵方程不变量分析的方法对该模型的可达性、活性、守恒性、有界性和安全性进行了验证。

本文对OOCPN的应用作进一步的拓展,探索OOCPN在复杂工作流和动态工作流中建模方法的研究。

提出了OOCPN在复杂工作流和动态工作流中应用的一种通用方法,对在实际问题中准确构建OOCPN模型具有重要的指导意义和现实价值..……

全文目录


摘要
第一章 绪论
1.1 工作流概述
1.2 选题的背景及研究意义
1.3 与本课题相关的国内外研究动态及现状分析
1.4 本课题研究任务和创新点
1.5 论文的内容安排
第二章 Petri 网简介
2.1 Petri 网的描述及定义
2.2 Petri 网的分析方法
2.3 Petri 网基本性质及分析技术
2.4 基本 Petri 网模型的特点
2.5 着色 Petri 网
2.6 层次 CPN
2.7 Petri 网在工作流建模与分析中的优势
2.8 小结
第三章 面向对象颜色 Petri 网
3.1 面向对象方法及其特点
3.2 OOPN 中面向对象的特性
3.3 OOPN 建模步骤
3.4 OOPN 建模优势
3.5 有色 Petri 网与面向对象
3.6 OOCPNObject Oriented Coloured Petri Nets简介
3.7 面向对象颜色 Petri 网OOCPN的形式定义
3.8 面向对象颜色 Petri 网的图形表示
3.9 OOCPN 运行规则
3.10 小结
第四章 工作流 Petri 网建模方法研究
4.1 企业工作流模型分析
4.2 基于 Petri 网的工作流模型定义
4.3 基于 Petri 网的工作流模型执行
4.4 基于 Petri 网的工作流模型分析
4.5 基于 Petri 网的工作流模型建立流程
4.6 小结
第五章 网上购物系统建模研究
5.1 工作流模型
5.2 一个网上购物的例子
5.3 网上购物系统的 OOCPN 模型构建算法
5.4 系统模型的静态性能分析
5.5 系统模型的动态性能分析
5.6 工作流的动态建模分析研究
5.7 小结
第六章 仿真测试
6.1 仿真软件简介
6.2 仿真模型建立
6.3 仿真测试试验
6.4 仿真结果分析
第七章 总结与展望
参考文献

相似论文

  1. 遗传算法研究及在航运船舶配载系统中的应用,63 页,TP301.6 TP319 U692.32
  2. 支持向量机集成学习算法研究, 11页,TP301.6 TP181
  3. 海量数据可视化方法的研究,58 页,TP301.6 TP393.08
  4. 改进型人工鱼群算法及其在数值方法中的应用,53 页,TP301.6 O241
  5. 求解QoS路由优化的蚁群算法研究,37 页,TP301.6 TN913.11
  6. 协作型协进化算法及其应用,46 页,TP301.6
  7. 微粒群优化算法的改进研究与应用,90 页,TP301.6
  8. 基于模糊聚类与多生境排挤的小生境遗传算法研究,61 页,TP301.6
  9. 基于群智能算法的聚类分析方法研究,63 页,TP301.6 O242.23
  10. 基于规则的委托授权研究,55页,TP309
  11. 视频数字双水印技术研究,68页,TP309.7 TP391.41
  12. SOAP消息传递安全性技术研究与SOAP加密的实现,64页,TP309.7 TP393.08
  13. CCIPS的分布实时容错一体化研究,72页,TP302.8 TP311.52 V57
  14. UML图的Petri网建模,70页,TP302 TP393.11
  15. 基于J2EE平台的益智类游戏开发中安全问题的研究,61页,TP309 TP393.08
  16. 航天分布式实时容错平台研究,74页,TP302.8 TP393
  17. 非负矩阵分解算法理论及其应用研究,53页,TP301.6
  18. 工作流的Petri网建模及模型分析,49页,TP302 TP391.78
  19. 访问控制模型RBAC中时间约束特性的研究,44页,TP309
  20. 公钥基础设施中证书路径构造方法研究,57页,TP309
中图分类: > TP301 > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 理论、方法

© 2012 book.hzu.edu.cn