基于petri网业务流程模型一致性的分析

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

1、万方数据ADissertationinAppliedMathematics．AnalysisabouttheConsistencyofBusinessProcessModelbasedonPetriNetCandidate：LiuLUSupervisor：Prof．FangXianwenSchoolofScienceAnHuiUniversityofScienceandTechnologyNo．168，ShungengRoad，Huainan，232001，P．R．CHINA万方数据独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得

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

3、编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。(保密的学位论文在解密后适用本授权书)学位论文作者签名：匆J端签字日期：驯争年钼／日f导师签名：弓训签字日期：洲乒年／月／日万方数据摘要摘要业务流程模型一致性分析是业务流程管理和可信性研究的核心内容。由于用户对计算机系统的要求越来越高，建模者需要不断地面对各种安全问题。传统的计算机系统已经无法满足复杂多变的运行环境。而且，现代的计算机系统具有开放性，使得业务流程模型变得脆弱。因此，分析业务流程模型的一致性对保证系统的可信性具有重要意义。目前，对于业务流程模型的一致性研究主要集中

4、在两大方面即控制流一致性分析和数据流一致性分析。已有的方法对控制流一致性的分析大部分是从目标模型行为一致性方面进行研究，而对数据流一致性的分析仅仅局限于数据形式，几乎没有给出直观的模型。在流程模型出现行为变化导致不一致时，很少考虑数据变化对一致性的影响。本文在Petri网和行为轮廓的理论及其性质的基础上，考虑在没有目标模型和数据出现变化的情况下，业务流程模型的一致性分析和非一致时变化域的分析。主要研究内容如下所述：(1)针对业务流程模型一致性分析过程中没有目标模型的情况，提出了一种基于Petri网和模块业务流程模型变化域分析的方法，对业务流程模型进行模块

5、分解，研究模块的行为轮廓，并在分析业务流程模型的变化域的过程中，将用于观测的变化点进行动态搜索，该方法了避免了已有方法的盲目性和不准确性。(2)针对业务流程模型运行中数据变化的情况，提出了一种基于行为Petri网的业务流程模型一致性分析方法，从伙伴流程的角度刻画了控制流和数据流模型的定义，区分控制流和数据流的差异性。在行为轮廓的基础上，量化流程模型的行为关系，利用控制流和数据流的交互模型，并通过计算其兼容度，分析控制流和数据流对业务流程模型一致性的影响。该方法改善了已有方法对数据描述的局限性，克服了已有研究的单一性。(3)针对数据变化产生变化域的问题，本

6、文提出了一种数据流约束下变化域的分析方法，综合考虑控制流和数据流之间存在的行为依赖关系，并结合动态查找变化变迁的方法分析变化域。该方法突破了已有方法的静态分析带来的局限性，以及解决了当业务流程模型的控制流一致却仍然不能达到可信的问题。图[19】表【1]参【105]关键词：Petri网：行为轮廓；行为一致性；数据流；控制流；变化域分类号：TP302．1万方数据摘要AbstractAnalyzingtheconsistencyofbusinessprocessmodelisthecoreofresearchesaboutbusinessprocessmana

7、gementandtrust．Becausetheusersincreasinglydemandthecomputersystem，modelersmustfacemanysecureproblems．TraditionalcomputersystemCan’tmeetthecomplexoperatingenvironment．Andtheenvironmentofmodemcomputersystemisopen，SOthatthebusinessprocessmodelbecomesvulnerable．Therefore，analyzingthe

8、consistencyofbusinessprocessmodelhasagre