基于行为模式的Petri网模型变化区域的研究

摘要

业务流程设置的合理性和实用性是企业管理的重点，工程师在设置业务流程时，由于侧重的角度不同，所设置的流程也会不尽相同。并不是所有的流程都能契合地满足流程管理的要求。针对业务流程的合理性或实用性不满足要求的情况，需要通过对业务流程建立模型研究确定业务流程设置的不合理性之处、不实用之处或是出现错误的地方，即本文所提的变化区域。进一步分析流程模型出现变化区域的原因，进而处理模型使得业务流程的合理性和实用性满足要求也是企业业务流程设置管理的重点内容。
　　目前对于Petri网模型变化区域的研究主要集中于通过研究模型与一个正确的参照模型的非一致性来确定寻找模型的变化区域的方法，而实际中，参照模型是很难获取的，因此此类研究缺乏一定的实用性。非常少的研究文献涉及到如何修复模型的变化区域使得模型满足其服务功能。本文在基于Petri网行为轮廓理论及性质和动作模型概念的基础上，提出一种不需要参照模型寻找模型变化区域的方法，并对模型变化区域进行责任分析，以此提出重写模型来修复变化区域。本文的主要贡献包括:
　　(1)针对行为异常的Petri网模型，已有的寻找变化区域的方法很多都是通过和参照模型比较来进行分析的，而实际操作时参照模型是难以获得的，因此该类方法缺乏可操作性。本文基于Petri网行为轮廓分析带标签的业务流程Petri网模型，提出一种在不需要参照模型的前提下将模型按照对象拆分成若各干个对象子模型，结合动作模式研究各个对象子模型之间的行为联系来寻找变化区域的方法。
　　(2)目前，关于存在变化区域的流程模型的研究大多都仅限于寻找变化区域，确定模型出现异常的地方。很少有文献对变化区域进行进一步的剖析，确定出现变化区域的原因。确定变化区域出现的原因对变化区域的研究有着承上启下的作用。本文通过对模型进行片段分解结合行为轮廓理论构建模型的行为结构树，从结构和行为两个方面对模型变化区域进行责任分析，进一步提出寻找导致变化区域的源头——责任方，为修复变化区域打下基础。
　　(3)目前，模型变化区域的控制与处理是变化区域研究的最终目的，之前的各种工作都是为此做准备的。本文在分析变化区域责任方与变化区域的位置关系之后，提出一种分类处理、模型重写的方法。对模型进行抽象再细化实现模型的重写，使得模型在修复变化区域的同时保持与原模型高度一致性。

目录

声明

摘要

插图清单

表清单

引言

1 绪论

1．1 研究背景

1．2 研究现状

1．2．1 模型一致性和非一致性方面

1．2．2 模型变化处理方面

1．3 文章结构

2 Petri网的行为轮廓理论

2．1 带标签的流程Petri网

2．2 行为轮廓及其性质

2．2．1 行为轮廓

2．2．2 行为轮廓性质

2．3 基于行为轮廓的一致性测量

3 基于动作模式的寻找流程Petri网模型变化区域方法

3．1 概述

3．2 引例

3．3 基于行为轮廓的动作模式来寻找变化区域

3．3．1 动作模式

3．3．2 基于动作模式和行为轮廓寻找变化区域

3．4 实例分析

3．5 小结

4 基于行为轮廓的流程Petri网模型交互变化区域的责任分析

4．1 概述

4．2 引例

4．3 行为流程结构树的构建

4．3．1 流程结构树

4．3．2 行为流程结构树

4．4 基于行为片段模式的变化区域责任分析

4．4．1 行为片段模式

4．4．2 变化区域的责任分析

4．5 引例分析

4．6 总结

5 基于行为轮廓的模型变化区域处理与控制

5．1 概述

5．2 变化区域责任方的处理分析

5．3 模型重写规则

5．3．1 模型的抽象

5．3．2 模型的细化

5．4 实例分析

5．5 行为等价和兼容性

5．5．1 区域等价

5．5．2 兼容性

5．6 小结

6 总结与展望

6．1 本文工作总结

6．2 研究前景展望

参考文献

致谢

作者简介及读研期间主要科研成果