基于间接约束的行为继承方法研究.pdfVIP

广东技术师范学院学报(自然科学) of Normal 2013年第7期 Journal PolytechnicUniversity Guangdong No．7，20_堕 基于间接约束的行为继承方法研究 冯英华 (淮南联合大学，安徽淮南232001) 摘要：目前对于行为继承方法的研究已经得到人们的广泛关注．已有的方法大部分是基于直接行为关系的 分析方法．且较少涉及行为有效继承方法的研究．本文提出一种基于Petri网的间接行为关系的有效行为继承方 法，首先区分了间接行为关系与直接行为关系，随后提出基于Petrl网的问接行为继承关系分析方法。在此基础上 提出有效行为继承方法．最后用实例说明该方法的有效性． 关键词：Petrl网；间接约束；行为继承；有效继承区域 中图分类号：0141 文献标识码：A 够从完备事件日志中挖掘包含非自由选择结构的合 O引言 理工作流网的0【博法．间接依赖关系定义及挖掘方 对于行为继承方面的研究越来越得到广泛的关 法，虽然对行为间的间接关系进行描述和挖掘，但是 注，但是现有的关于行为继承的研究方法大多只是 没有从过程行为角度进行分析。且没有分析行为继 研究行为语义上的保持．而对于活动教案的行为顺 承方法．对于行为继承方面的研究，先前大多是建立 序关系的继承研究较少，而我们的一大任务便是从 在语义学基础上的，较少从行为角度进行研究，如文 活动行为角度人手，研究含有间接顺序的行为继承 献[7]提到了行为保持性，但并未涉及行为继承；文 方法． 献[8]从四个方面定义了继承关系：协议继承、映射 对于行为序列关系，先前有一些研究，文献[1] 继承、协议／映射继承、周期继承，但是其并未对活动 提出了行为的一个直接的继承(successorship)关本身的继承关系进行研究． 系；文献[2]延伸了变迁发生之间的继承关系，提出 基于以上背景，本文提出了基于Petri网间接行为 了变迁间的直接的跟随(follows)关系；文献[3]在此 约束条件下的行为继承分析方法，先对直接行为关 基础上，提出了Ot一算法，定义了三种关系：_、#、II， 系和间接行为关系进行区分。再他们的行为继承关 他们源于直接跟随关系的不同组合。这些关系被定 系来查找有效继承区域，并用一个实例说明我们方 义为足迹；文献[4]对于非自由选择的挖掘，提出了 法的有效性． 仅*-算法，介绍了更深一层的行为关系．对间接的依 本文结构如下，第二部分主要是对一些基本概 赖关系起很大作用；文献[11】提出了仅+-算法，重新定念的介绍，第三部分给出了基于Petri网间接行为关 义了先前的足迹关系．不仅研究直接的变迁发生继 系的有效继承区域的查找分析．最后进行了总结和 承，而且研究三个变迁的序列和两个变迁的多重交 展望． 叉发生关系；文献[5]提出Tfollows和precedes关系来 1基本概念 判断挖掘流程模型的质量．而对于间接约束方面的 研究，如从过程行为方面主要有文献[6]介绍了面向 这一部分我们主要介绍相关的定义． 同时包含任务的开始事件和完成事件的事件El志， 提出了从中挖掘合理结构化工作流网的膊法，还明 如果： 确定义了直接依赖关系和间接依赖关系．提出了能 (1)Sl，难勿 收稿日期：2013—06-22 基金项目：