基于petri网行为包含的业务流程变化域传播分析

《基于petri网行为包含的业务流程变化域传播分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号：ＴＰ３０２．１单位代码；１０３６１《获化义乂學０ＡＮＨＵＩＵＮＩＶＥＲＳＩＴＹＯＦＳＣＩＥＮＣＥ＆ＴＥＣＨＮＯＬＯＧＹ雜论文题目；基于Ｐｅｔｒｉ网行为包含的业务流程变化域传播分析作者姓名；赵芳专业名称：应用数学韋师姓名；方贤文许志才教授完成时间—；二〇六年六月：ＴＰ３０２．１论文编号中图分类号：：密级—公一３学科分类号：巧０．１０９９安徽理王大学硕去学位论文基于Ｐｅｔｒｉ网行为包含的业务流程变化域传播分析作者姓名：赵芳—专

2、业名称：应用数学＿研巧方向：优化理论与应用导师姓名：方晓文许志才教授导师单位：安徽理工大学答辩委员会主席：朱壬信＿论文答辩日期：２０１６年６月２日安徽理工大学研究生处２０１６年６月７日ＡＤｉｓｓｅｒｔａｔｉｏｎｉｎＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓＴｈｅＰｒｏｐａｇａｔｉｏｎＡｎａｌｙｓｉｓｏｆｔｈｅＢｕｓｉｎｅｓｓＰｒｏｃｅｓｓＣｈａｎｅＲｅｉｏ打ｂａｓｅｄｏ打ＢｅｈａｖｉｏｒＩｎｃｌｕｓｉｏｎｉｎＰｅｔｒｉｇｇＮｅｔｓＣａｎｄｉｄａｔ

3、ｅ：ＺｈａｏＦａｎｇＳｕｅｒｖｉｓｏｒ：Ｐｒｏｆ．ＦａｎｇＸｉａｎｗｅｎ，ＸｕＺｈｉｃａｉｐＳｃｈｏｏｌｏｆＳｃｉｅｎｃｅＡｎＨｕｉＵｎｉｖｅｒｓｉｔｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｙｇｙＮｏ．１６８，ＳｈｕｎｇｅｎｇＲｏａｄ，Ｈｕａｉｎａｎ；＞２３２００１，Ｐ．民．ＣＨＩＮＡ独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知，除了文中特别加Ｌ乂标注和致谢的地方Ｌ义外，论文中不包含其他人己经发表或撰写过的研究成果，也不

4、包含方获得或其他教育化构的学位或证书而使用过的材料一。与我查邀垄主么堂＿同工作的同志对本研究所做的任何贡献均己在论文中作了明确的说明并表不谢意。学位论文作者签名：起絮日期：扣／占年《月Ｊ日学位论文版权使用授权书本学位论文作者完全了解安徽理工大学有保留、使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属于安徽理工大学。学校有权保留并向国家有关部口或机构送交论文的复印件和磁盘，允许论文被查阅和借阅。本人授权安徵理工大学＾可１乂将学位论文的全部或部分内容编入有关数据库进行检索

5、Ｌ，可乂采、用影印缩印或担描等复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本授权书）学位论文作者签名：赵絮签字日期：茄《年《月７曰导师签名：签字日期：么ｆ（年《月曰７摘要摘要业务流程模型变化域分析是业务流程管理的重要内容，目的是为了灵活地适一应变化的商务需求。由于用户对计算机这系统的需求越来越高，建模者需要面对各方面的变化域（安全）问题。传统的计算机系绕己经无法满足日益增长的复杂多变的运行环境。随着科技的进步，现代计算机系统开放性也越来越强，使得。某些业务流程模型变得脆

6、弱，很容易受到攻击因此，分析业务流程模型的脆弱性即变化域对于研巧系统的可靠性具有重要的意义。目前一，对于业务流程模型的研究主要集中在业务流程模型的致性和变化域上。而且，已有的方法对模型进行变化域分析是从整个系统上去考察的，计算量和复杂度很难让人满意一致性方面主要是从单个变迁的角度去考；在分析模型的虑一定的局限性对于模型的相似性分析也很少，对于研究整个模型而言也具有；从行为和结构的角度共同去考察；对于变化域的传播问题更没有从行为包含和继承的角度去分析。本文ＷＰｅｔｒｉ网原理和行为轮廓的相关理论Ｗ及行为

7、包含为基础，考虑在有源业务流程模型进行相似性一、模型和目标模型的条件下，对致性及变化域分析。主要研究内容如下所述：一一（１）针对业务流程模型的致性检测问题，提出来种从单个变迁和模块的角度去考察行为和结构的一致性。经过对业务流程模型的行为和结构方面的考察，一致性度计算出了单个变迁和模块的，实验结果表明基于模块来分析源模型和目一ｅｒｉ标模型是不致的，进而得出目标模型中存在可疑模块，并基于Ｐｔ网的弱行为轮廓确定了目标模型最终的变化域。该方法从多个角度对模型予分析，克服了已有方法的单一性。（２）针对业务流

8、程系统的变化域问题，提出了基于Ｐｅｔｒｉ网动态切片的分析方法。一个可疑区域首先对比分析源模型和目标模型的流程结构图得到目标模型的，然后用巧为轮廓的思想找出目标模型可疑区域中的变化域，最后通过采取Ｐｅｔｒｉ网动态切片技术得出