公开(公告)号：CN103699690A

公开(公告)日：2014-04-02

申请号：CN201410010860.3

申请日：2014-01-09

Applicant: 安徽理工大学

Inventor： 方贤文 ,  陶小燕 ,  杨艳 ,  刘祥伟 ,  方新建

IPC: G06F17/30

CPC classification number: G06F17/30964 ,  G06Q10/06

Abstract: 一种基于Petri网动力学表达式寻找业务流程模型中最小变化区域的精确方法，涉及基于动力学表达式的疑似非有效行为序列的确立和基于行为轮廓的最小变化区域的精确确定。首先由流程网的执行语义，对模型的所有发生序列进行匹配。然后利用Petri网动力学表达式计算匹配序列的行为距离，从而确定模型中的疑似非有效行为序列。对处于变化域的活动节点，利用Petri网行为轮廓和行为距离方法将冗余变化节点去掉，得到最小变化区域。本发明提出了寻找最小变化区域的新方法，有效地解决了模型中变化域的寻找问题，避免了现有的基于序列的方法因仅考虑活动节点的一致性而引起的变化域扩大的缺陷。

公开(公告)号：CN103595630A

公开(公告)日：2014-02-19

申请号：CN201310577515.3

申请日：2013-11-15

Applicant: 安徽理工大学

Inventor： 方贤文 ,  陶小燕 ,  杨艳 ,  刘祥伟 ,  方新建

IPC: H04L12/707 ,  H04L12/721

Abstract: 一种基于模态Petri网的寻找最优行为执行路径的新方法，涉及业务流程行为有效区间的确立和基于分支有效区间的路径优化。首先根据流程网的结构特征确立分支区域集。对分支区域中的每个分支子流程，通过映射活动变迁的约束关系来计算分支有效值，以确立分支子区间，并进一步优化成分支有效区间。在分支有效区间内，考虑行为约束条件，确定每个分支子流程中的局部最优执行路径，进而逐步动态演化确定整个流程模型的最优执行路径。本发明提出了最优路径寻找的新方法，有效地解决了在行为约束下的模型网中行为有效性的计算和寻找最优路径的问题，避免了现有的固定值方法中因行为约束的存在而引起的局部最优路径变化的缺陷。

公开(公告)号：CN103745366A

公开(公告)日：2014-04-23

申请号：CN201410010753.0

申请日：2014-01-09

Applicant: 安徽理工大学

Inventor： 方贤文 ,  杨艳 ,  陶小燕 ,  殷志祥 ,  方新建

IPC: G06Q30/00

Abstract: 基于行为模式的电子商务流程模型变化区域的网重写方法与系统，对责任方与变化区域的结构关系进行统筹分析，分类处理。对不在变化区域内的责任方进行封装或隐藏；对责任方在变化区域内的情况，确定所有变化区域的变迁序列，将每个序列中的变迁构成一个流程模型集，根据行为动作模式计算每个变迁在流程模型集中的支持数和支持数不为1的变迁在流程模型集中的信心数，封装或隐藏信心数最小的变迁。并根据行为一致性判定重写前后流程模型的一致性和兼容性。本发明同时考虑了模型的结构关系和行为关系，确保重写后的模型在避免变化区域的情况下最大程度地保持了与源模型的一致性和兼容性，并实现了系统开发，以方便使用。

公开(公告)号：CN103559587A

公开(公告)日：2014-02-05

申请号：CN201310574082.6

申请日：2013-11-15

Applicant: 安徽理工大学

Inventor： 方贤文 ,  杨艳 ,  陶小燕 ,  刘祥伟 ,  方新建

IPC: G06Q10/06

Abstract: 一种基于行为模式的电子商务Petri模型变化区域责任分析系统，按对象拆分模型，引入动作模式的概念，构建行为动作模式来确定模型中存在的变化区域。对确定变化区域的模型进行片段分解，根据片段的等级构建模型的结构树，结合行为轮廓，构建行为片段模式。根据责任的概念，对通过变化区域的片段序列进行责任分析，利用行为片段模式中的行为轮廓关系数值化计算与变化区域有责任关系的片段在变化区域片段集中的信心值，得到导致变化区域的责任方。通过比较对象子模型来寻找变化区域，克服了没有源模型和不使用参照模型的缺点，对确定变化区域的模型进行片段分解，克服了研究多个具有相同结构和间接行为关系的变迁的重复性，责任和行为片段模式的结合应用提高了变化区域责任分析系统的有效性和可执行性。

公开(公告)号：CN103595630B

公开(公告)日：2017-01-25

申请号：CN201310577515.3

申请日：2013-11-15

Applicant: 安徽理工大学

Inventor： 方贤文 ,  陶小燕 ,  杨艳 ,  刘祥伟 ,  方新建

IPC: H04L12/707 ,  H04L12/721

Abstract: 一种基于模态Petri网的寻找最优行为执行路径的新方法，涉及业务流程行为有效区间的确立和基于分支有效区间的路径优化。首先根据流程网的结构特征确立分支区域集。对分支区域中的每个分支子流程，通过映射活动变迁的约束关系来计算分支有效值，以确立分支子区间，并进一步优化成分支有效区间。在分支有效区间内，考虑行为约束条件，确定每个分支子流程中的局部最优执行路径，进而逐步动态演化确定整个流程模型的最优执行路径。本发明提出了最优路径寻找的新方法，有效地解决了在行为约束下的模型网中行为有效性的计算和寻找最优路径的问题，避免了现有的固定值方法中因行为约束的存在而引起的局部最优路径变化的缺陷。