可视化工作流过程逻辑模型设计及合理性研究
发布时间：2023-06-04 20:14
近年来,为了适应企业对业务过程自动化管理日益提高的要求,工作流管理技术逐渐演变成了企业过程管理自动化技术的核心。在整个工作流管理组织中,业务过程定义起着决定性的作用。因此在业务组织前,提供一个良好的参考框架对工作流模型进行定义和对模型的正确性验证显得尤为必要。 本文首先介绍了工作流的概念并对工作流技术的起源、现状、发展和研究趋势进行了阐述和分析,重点强调了合理的工作流业务过程模型定义在整个工作流管理系统设计中的重要性。接下来分析并比较了两种工作流过程模型设计方法—工作流网与工作流逻辑网的特点,通过结合两种方法的优势,设计了一种可恰当描述工作流业务过程逻辑的模型参考框架。该框架使过程的定义更容易被非专业人员理解,从而方便了设计者和用户间的沟通。基于这个框架,本文利用Java面向对象编程思想对参考框架中的各个工作流模型元素进行构造,同时实现了基于层次扩展Petri网技术的模型构造方法和对模型柔性操作的若干方法。在工作流业务过程逻辑模型定义完毕后,本文提出了一种严格遵守Petri网合理性标准的验证方法。该方法将对模型进行可达性、良构性及合理性方面的检验,以保证工作流业务过程模型在语义定义前不...
【文章页数】：84 页
【学位级别】：硕士
【文章目录】：
摘要
Abstract
第1章 绪论
1.1 工作流的起源与概念
1.2 工作流技术的研究现状
1.3 工作流技术的研究发展趋势
1.4 本文研究内容及文章结构
1.4.1 本文研究内容
1.4.2 文章结构
第2章 工作流业务过程模型
2.1 工作流模型的相关概念
2.1.1 案例
2.1.2 任务
2.1.3 过程
2.1.4 路由
2.2 工作流过程模型
2.3 Petri网的相关概念
2.3.1 传统Petri网
2.3.2 Petri网的层次扩展
2.4 本章小结
第3章 工作流过程模型设计方法
3.1 工作流网(WorkFlow net)
3.1.1 过程
3.1.2 路由
3.1.3 WF net存在的问题
3.2 工作流逻辑网(WorkFlow Logic net)
3.2.1 工作流逻辑与工作流语义的分离
3.2.2 工作流逻辑网
3.2.3 WLnet的不足
3.3 一种约束扩展的WFnet
3.3.1 WFnet与WLnet的比较
3.3.2 WFnet的路由属性重定义
3.3.3 对有向弧的约束
3.3.4 约束扩展的WFnet描述工作流模型
3.4 本章小结
第4章 模型构造的实现
4.1 模型元素的程序定义
4.2 层次化构造模型的实现
4.2.1 顺序结构的子过程
4.2.2 分支结构的子过程
4.3 对模型柔性操作的实现
4.3.1 添加操作
4.3.2 删除操作
4.4 本章小结
第5章 模型结构正确性分析和验证
5.1 结构正确的WFnet定义
5.2 安全性和有界性
5.3 可达性
5.4 良构性
5.5 可达性的检验方法
5.6 良构性的检验方法
5.7 算法有效性分析
5.8 本章小结
第6章 基于JGraph的模型可视化实现
6.1 JGraph介绍
6.1.1 图的逻辑结构
6.1.2 JGraph设计
6.1.3 JGaph描述WFnet
6.2 对JGraph的扩展
6.3 模型与视图的联系
6.3.1 Cell与数据元素的连结
6.3.2 有向弧的设置
6.4 本章小结
第7章 系统实例应用
7.1 系统综述
7.1.1 系统功能介绍
7.1.2 系统模型设计流程
7.1.3 模型的保存与打开
7.2 实例分析
7.3 实例建模
7.4 模型验证
7.4.1 可达性验证
7.4.2 良构性验证
7.4.3 token流转状态矩阵
7.5 文件结构
7.6 本章小结
结论
致谢
参考文献
攻读学位期间发表的学术论文
本文编号：3830938
【文章页数】：84 页
【学位级别】：硕士
【文章目录】：
摘要
Abstract
第1章 绪论
1.1 工作流的起源与概念
1.2 工作流技术的研究现状
1.3 工作流技术的研究发展趋势
1.4 本文研究内容及文章结构
1.4.1 本文研究内容
1.4.2 文章结构
第2章 工作流业务过程模型
2.1 工作流模型的相关概念
2.1.1 案例
2.1.2 任务
2.1.3 过程
2.1.4 路由
2.2 工作流过程模型
2.3 Petri网的相关概念
2.3.1 传统Petri网
2.3.2 Petri网的层次扩展
2.4 本章小结
第3章 工作流过程模型设计方法
3.1 工作流网(WorkFlow net)
3.1.1 过程
3.1.2 路由
3.1.3 WF net存在的问题
3.2 工作流逻辑网(WorkFlow Logic net)
3.2.1 工作流逻辑与工作流语义的分离
3.2.2 工作流逻辑网
3.2.3 WLnet的不足
3.3 一种约束扩展的WFnet
3.3.1 WFnet与WLnet的比较
3.3.2 WFnet的路由属性重定义
3.3.3 对有向弧的约束
3.3.4 约束扩展的WFnet描述工作流模型
3.4 本章小结
第4章 模型构造的实现
4.1 模型元素的程序定义
4.2 层次化构造模型的实现
4.2.1 顺序结构的子过程
4.2.2 分支结构的子过程
4.3 对模型柔性操作的实现
4.3.1 添加操作
4.3.2 删除操作
4.4 本章小结
第5章 模型结构正确性分析和验证
5.1 结构正确的WFnet定义
5.2 安全性和有界性
5.3 可达性
5.4 良构性
5.5 可达性的检验方法
5.6 良构性的检验方法
5.7 算法有效性分析
5.8 本章小结
第6章 基于JGraph的模型可视化实现
6.1 JGraph介绍
6.1.1 图的逻辑结构
6.1.2 JGraph设计
6.1.3 JGaph描述WFnet
6.2 对JGraph的扩展
6.3 模型与视图的联系
6.3.1 Cell与数据元素的连结
6.3.2 有向弧的设置
6.4 本章小结
第7章 系统实例应用
7.1 系统综述
7.1.1 系统功能介绍
7.1.2 系统模型设计流程
7.1.3 模型的保存与打开
7.2 实例分析
7.3 实例建模
7.4 模型验证
7.4.1 可达性验证
7.4.2 良构性验证
7.4.3 token流转状态矩阵
7.5 文件结构
7.6 本章小结
结论
致谢
参考文献
攻读学位期间发表的学术论文
本文编号：3830938
本文链接：https://www.wllwen.com/shekelunwen/ljx/3830938.html