基于petri网带语义约束流程模型一致性的分析

《基于petri网带语义约束流程模型一致性的分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、万方数据ADissertationinAppliedMathematics．TheConsistencyAnalysisofProcessModelwithSemamicConstraintsbasedonPetriNetCandidate：ZhangMeilingSupervisor：Prof．FangXianwenSchoolofScienceAnHuiUniversityofScienceandTechnologyNo．168，ShungengRoad，Huainan，232001，P．R．CHINA万方数据独创性声明本人声明所呈交的学位论文是本人在导师

2、指导下进行的研究工作及取得的研究成果。据我所知，除了文中特别加以标注和致谢的地方以外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得安徽理三太堂或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名：猫鏊丝日期：上啦年j月上日学位论文版权使用授权书本学位论文作者完全了解塞徽理王太堂有保留、使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属于塞邀堡王太堂。学校有权保留并向国家有关部门或机构送交论文的复印件和磁盘，允许论文被查阅和借阅。本人授权安徽理

3、工大学可以将学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。(保密的学位论文在解密后适用本授权书)学位论文作者签名：弓玖象凇签字日期：w懂年6月f口日导师签名：弓z氓签字日期：plj年6月f口日万方数据摘要摘要目前，业务流程管理的核心任务是对现实中大量相关模型的相关程度，即它们的相互影响程度进行分析，从而得知它们对彼此行为的影响。已有的方法都是基于模型任务间的直接依赖和匹配关系，通过分析模型之间的结构或行为关系，来计算模型间的一致性度量，而对于存在语义约束的流程模型间一致性分析，现有的方法具有明显的局限性。

4、因此，对于存在不同程度语义约束的业务流程模型而言，如何测量其一致性度，以便高质量地满足用户需要，对于寻找模型中的变化区域以及改进模型具有重要意义。已有的文献给出了对流程模型一致性和兼容性的分析方法。前者主要考虑了流程模型之间的顺序关系，而当流程模型本身带有特殊语义时，该方法具有明显的局限性；后者主要从静态分析的角度，考虑流程模型中的语义约束，其依赖于模型之间的匹配关系，而忽略了模型中的顺序关系，从而该方法存在明显的片面性。本文从业务流程模型间的语义约束入手，主要研究内容如下所述：针对测量多个带有行为语义的输入模型及由其合并成的Petri网模型之间的一致性问题，

5、提出了一种基于行为轮廓和行为语义的合并模型一致性度量方法，首先基于Petri网将输入模型作为一个整体，通过定义扩充的行为轮廓，比较其与合并模型之间的序关系，然后充分考虑模型之间的行为约束条件，结合Petri网结构行为及标签的意义，最后给出输入模型与合并模型之间的一致性度测量方法。并通过一个具体的业务流程实例，分析了该方法的有效性。该方法通过同时考虑模型间的结构和行为关系来分析模型间的一致性，能够有效地避免原有方法的不准确性。针对两个匹配性较差的业务流程模型而言，结合Petri网模型配置理论，提出了一种基于静态结构距离和动态行为距离计算一致性度量的方法，首先通过

6、定义模型配置及编辑关系值等概念，结合语义约束，分析模型间静态的结构距离，然后充分考虑模型间的行为约束关系，分析匹配序列间的动态行为距离，最后结合加权动态表达式，提出计算流程模型间一致性度量方法，并通过一个具体的业务流程实例，分析了该方法的有效性。该方法能够有效地避免原有方法对语义约束的依赖关系，通过动、静行为结合有效地分析模型间的一致性问题。图[9】表[5】参[53】关键词：Petri网；行为轮廓；一致性度；结构距离；行为距离万方数据摘要分类号：TP302．1．II．万方数据摘要Abs仃actConsistencymeasurementofprocessmod

7、elshavebecomeoneofthekeyproblemsofbusinessprocessmanagement．TheexistingmethodsaremainlybasedondirectdependenceormatchingrelationbetweenmodeltaskStocalculatetheconsistencymeasurementofmodels．Nevertheless，forconsistencyanalysisbetweenprocessmodelswiththesemanticconstraints，existingmet

8、hodshaveobviouslimi