基于Petri网模型合并的可配置业务流程变化域分析.pdf

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

1、分类号：单位代码：“安反这工犬學论文题目：基于网模型合并的可配置业务流程变化域分析作者姓名：欧阳虹专业名称：应用数学导师姓名：方贤文教授完成时间：二—五年六月中图分类号：学科分类号：安徽理工大学石页士学位论文基于网模型合并的可配置业务流程变化域分析作者姓名欧阳虹专业名称应用数学研究方向：优化理论与应用导师姓名：方贤文教授导师单位：安徽理工大学答辩委员会主席：朱言教授论文答辩日期：年月日安徽理工大学研究生处年月日ADissertationinAppliedMathematicsTheChangeRegionAnalysisofConfigurableBusinessPro

2、cessbasedonMergingModelofPetriNetCandidate:OuyangHongSupervisor:Prof.FangXianwenSchoolofScienceAnHuiUniversityofScienceandTechnologyNo.168,ShungengRoad,Huainan,232001,P.R.CHINA独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知，除了文中特别加以标注和致谢的地方以外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得安徽理工大学或其他教育机构的学位

3、或证书而佶用过的料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名：爷份日期：年上月上日学位论文版权使用授权书本学位论文作者完全了解安徽理工大学有保留、使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属于安徽理工大学。学校有权保留并向国家有关部门或机构送交论文的复印件和磁盘，允许论文被查阅和借阅。本人授权安徽理工大学可以将学位论文的全部或部分内容编入有关数据库进行检索，可以釆用影印、缩印或扫描等复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本授权书）学位论文作者签名：签字日期年月日导师签名：签

4、字曰期年（月日摘要摘要目前，业务流程管理已被广泛提出并被应用到企业流程管理及系统分析设计等智能化管理领域。其主要是对流程模型进行相关性分析，即它们旳相互影响程度进行分析，从而得知它们对彼此行为的影响，再从中找出变化区域。但是由于大部分实际模型都有庞大复杂而冗余的体系，人们无法通过经验分析得到正确的答案，而如果用以往的求变化域的方法对大型复杂系统进行分析，不仅工作量大的惊人，而且无法对具有复杂对应的模型系统进行分析比较。由于移动互联环境下的电子商务流程需要满足多个用户的不同需求，需要根据实际需要选择性的对流程中的活动进行不同配置。配置流程模型己经被广泛提出并用来描述这一类

5、型的流程模型。此外，由于大部分业务流程模型都是基于描述模型交互的初衷来建立的，对流程模型的配置也需要考虑到模型交互行为间的约束关系。针对具有复杂对应关系的模型系统变化域的分析问题，本文采用抽象的手段对具有复杂匹配关系的模型进行预处理，再对经过处理后模型进行合并。然后提取合并模型的摘要，并通过分析模型摘要与原模型的行为轮廓间的差异找出了原模型交互发生变化的区域。这样可以根据变化区域的行为语义分析了出现交互不兼容的原因。而且，本文通过用配置约束形式化地描述了交互的配置模型间的约束行为，提出了一个基于配置约束合并流程模型的方法，通过该方法可以得到一个带配置约束的合并模型，最后

6、根据文中所给出的算法将该模型作为流程配置的参照模型用于寻找流程模型的变化域，这样排除了配置实例中不满足预设的配置约束情况的发生。通过将交互模型间的行为约束转化成可配置的流程模型配置上的约束，可以得到一个配置的合成体，合并模型通过分离配置的方式对不可行的配置方式做了限制，使之不能同时发生，这样有利于配置的正确性。通过该方法得出的带配置约束的合并模型可作为流程配置的参照模型用于寻找带约束的配置流程的变化域。该方法解决了以下问题：（将交互模型中不具有匹配关系的活动对间隐含的依赖关系通过配置约束的方式表示出来；（并通过合并配置模型的方法来保证配置满足这种约束；（通过比较合并模型

7、的配置路径和配置实例的配置路径来寻找配置实例中出现的变化域。关键词：行为轮廓；业务流程；模型合并；流程配置；变化域。分类号：摘要，，摘要，，，目录目录插图清单弓绪研究背景研究现状变化域分析模型合并可配置流程模型研究动机与意义本文内容安排基础知识网的基本理论网的相关性质基于模型合并和摘要提取的复杂模型变化域分析方法概述基本概念基于复杂匹配关系合并模型模型的复杂匹配关系确定通过抽象匹配域进行模型标准化合并模型通过模型摘要确定变化域提取模型摘要根据模型摘要确定变化域总结与展望基于可配置的业务流程模型的变化域分析研究概述研究动机基于可配置流程模型