基于Petri网配置的合并模型变化域分析方法研究.pdf

《基于Petri网配置的合并模型变化域分析方法研究.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号：单位代码：一安反这工犬學论文题目：基于网配置的合并模型变化域分析方法研究作者姓名：赵娟专业名称：应用数学导师姓名：严少平副教授完成时间：二—五年六月中图分类号：论文编号学科分类号：密级：公开安黴理工大学硕士学位论文基于网配置的合并模型变化域分析方法研究娟专业名称：应用数学翻方向：优化理论应用导纖名：严平畐丨教授导师单位安徽理工大学员会姚朱士信教授论文辦日期：年月日年月日ADissertationinAppliedMathematicsResearchontheMethodofChangeDomainBased

2、onMergedModelofPetriNetConfigurationCandidate:ZhaoJuanSupervisor:Prof.FangXianwenMajorofAppliedMathematicsAnhuiUniversityofScienceandTechnologyNo.168,ShungengRoad,Huainan,232001,P.R.CHINA独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知，除了文中特别加以标注和致谢的地方以外，论文中不包含其他

3、人巳经发表或撰写过的研究成果，也不包含为获得安徽里王太生一或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名：絶曰期：滅年月』曰学位论文版权使用授权书本学位论文作者完全了解安徽理工大学有倮留、使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属于安徽理工大学》学校有权保留并向国家有关部门或机构送交论文的复印件和磁盘，允许论文被查阅和借阅。本人授权安徽理工大学可以将学位论文的全部或部分内容编入有关数据库进行检索，可以

4、釆用影印、缩印或扫描等复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本授权书）学位论文作者签名：知鄉签字曰期年月曰签字曰期：年月曰导师签名寻夕平摘要摘要随着业务需求的复杂化和多元化，业务流程模型的管理也随之变得越来越有难度。在业务流程系统中，为了满足用户对复杂的业务系统功能的要求，经常需要将多个业务流程模型进行合并。但是，合并后的模型在运行过程中经常会出现异常，找出合并模型的变化区域或者是导致异常的疑似变化区域后，我们才可以对疑似变化区域进行修复最终来完成预期目标。于是，找出合并模型的疑似变化区域成了业务管

5、理的重要前提。而提取合并模型的摘要是确定变化区域的有效分析方法之一。目前对于摘要的提取主要集中于从合并模型的互逆性和可追溯性，主要考虑将多个输入模型合并后得到一个合并模型，进而分析摘要的提取。但是这样得到的摘要往往会有部分语义缺失。或者说，提取出的摘要直接作为变化区域较不精确，而且没有将目标模型的变化区域和责任方模型紧密结合起来分析研究。正是由于以上研究背景，本文在网的一系列基本性质和扩展的结构树的基础上，考虑由合并模型的综合行为轮廓和结构树挖掘出摘要，进而利用模块分解对摘要进行优化，并借助合并模型的可追溯性将变化区

6、域和责任方模型有效结合起来分析。本文主要贡献有：提出了基于网配置的合并模型摘要的提取方法。合并模型的摘要是服务于同一建模目标的多个输入模型的共同片段，用于建模者通过比较输入模型的共性与区别从而来简化合并模型。但是这样得到的摘要会有部分语义缺失。本文在配置库所的网模型的基本性质的基本框架的基础上，对输入模型进行分析，给出摘要的行为轮廓和结构树的相关算法，进而提取出输入模型的摘要。然后，我们将摘要中缺失语义的活动变迁视为配置接口，对其进行配置以优化摘要。最后，基于上述分析方法给出了一个具体的业务流程模型的实例，理论与实例

7、相结合证实了此分析方法的正确性。提出了基于网合并模型的疑似变化区域的分析。由于技术的更新换代、用户观念的幵放思维和要求的逐渐严格，导致服务同一个建模目标的流程模型往往不是单一的而是千变万化的。但是，总会有一根主线也就是模型相关性将他们串联在一起，为了避免责任方模型的变化区域分析的复杂性和重复运算，本文把相关程度较高的多个业务网合并为带有标识符的合并网模型即摘要合并模型）；并从中提取摘要（找出变化区域；然后，基于模块行为轮廓对变化区域进行优化；最后，通过合并网模型的可追溯性找出责任方模型的疑似变化区域。图表参关键词：网

8、；配置；合并模型；责任方；变化区域分类号：AbstractAbstractWiththecomplexityanddiversityofbusinessneeds,businessprocessmanagementisbecomingincreasinglydificult.Inthebusinessprocesssystems,amultip