面向主语的业务流程管理研究

《面向主语的业务流程管理研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、扉页：独创性声明本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢的地方外，论文中不包含其他人或集体已经发表或撰写过的研究成果，对本文的研究做出贡献的集体和个人均已在论文中作了明确的说明并表示了谢意。研究生签名：乌禹≤斌日期：2L区—盟论文使用和授权说明本人完全了解云南大学有关保留、使用学位论文的规定，即：学校有权保留并向国家有关部门或机构送交学位论文和论文电子版；允许论文被查阅或借阅；学校可以公布论文的全部或部分内容，可以采用影印、缩印或其他复制手段保

2、存论文。(保密的论文在解密后应遵循此规定)研究生签名：盘互巍导师签名：日期：2垒l墨=玉：≥I本人及导师同意将学位论文提交至清华大学“中国学术期刊(光盘版)电子杂志社”进行电子和网络出版，并编入CNKI系列数据库，传播本学位论文的全部或部分内容，同意按《中国优秀博硕士学位论文全文数据库出版章程》规定享受相关权益。研究生签名：捣叁盆导师签名：摘要随着世界经济和技术蓬勃发展，业务流程管理在科研领域和企业运用领域都有着很高的关注度。国内外专家学者们探索着流程管理的思想和方法，与此同时，企业也在科研成果的基础

3、上，通过业务流程的优化和改善提高企业竞争力和扩大市场占有率。面向主语的业务流程管理(S-BPM)是业务流程管理领域最新提出的一种思想，符合自然语言的标准语序自然语言结构主语一谓语一宾语，它使得业务流程和自然语言的语序一样更容易被人们所理解；其结构清晰，对于科研和运用都表现出了很好的价值。W．M．P．vanderAalst等专家总结了业务流程建模过程当中经常出现的工作流模式，用来比较不同建模工具的适用性和有效性，提供了一个评估的有效标准。PI演算作为一种描述移动系统的进程代数，可用于对并发和动态变化的系

4、统进行建模，在并发和分布式理论研究中处于非常重要的地位。本文针对新兴业务流程比传统业务流程的复杂性和多变性，分析传统建模方法的局限性，引入S-BPM的业务流程管理思想；首先，讨论了S．BPM下PASS建模方法的局限性和不完备性，定义相对规范S-BPM建模方法PASS++，并对PASS++的表达能力进行了分析和验证，同时对比评估了PAsS++的建模能力；然后，对PASS++下PI演算形式化理论基础进行了分析，提出PASS++到PI演算的映射，并提出了PASS++定制工具的基本结构；最后，提出运用形式化验

5、证工具MWB，对业务流程模型进行仿真和验证。期望本文所做工作对构建基于S-BPM的业务流程分析、建模、仿真、验证的架构体系有一定的研究价值和实践指导意义。本文的主要创新特点是：I、分析S-BPM的PASS建模方法的局限性和不完备性，定义相对规范S-BPM建模方法PASS++，并对PASS++的表达能力进行了分析和验证；II、比较分析PAss++的建模能力，并提出PASS++定制工具的基本结构；III、对PAsS++下PI演算形式化理论基础进行了分析，提出PASS++和PI演算的映射规则。关键词：面向主

6、语的业务流程管理；扩展并行活动规划方案：流程建模方法；PI演算摘要11AbstractWiththevigorousdevelopmentoftheworldeconomyandtechnology,businessprocessmanagementhasahighdegreeofconceminthefieldofscientificresearchandthepracticalapplication．Manydomesticandforeignexpeasandscholarsexploringi

7、deasandmethodsofprocessmanagement,atthesametime，basedonscientificresearch，enterprisesthroughtheoptimizationandimprovementofbusinessprocesses，improvetheircompetitivenessandexpandmarketshare．TheSubjectBusinessProcessManagement(S—BPM)isthelatestthinkingint

8、hefieldofbusinessprocessmanagement，inline丽mstandardwordorderofthenaturallanguagenaturallanguagestructuresubject—predicate—object，itmakesbusinessprocessesandnaturallanguageeasiertounderstand；itsclearstructurehaveshownaverygoodvalu