收藏本站
《西北大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

业务过程管理理论与若干关键技术研究

李向宁  
【摘要】: 业务过程管理作为一种有效的调度、协调和管理复杂业务过程以及进行跨部门、跨企业业务集成和服务组合的手段越来越受到企业经营者、客户以及研究者的重视。目前业务过程管理领域中存在着过程模型理论研究滞后、缺乏标准化的参考模型、缺乏建模方法论和模型评价标准、资源建模理论与技术匮乏等问题。本文通过对这些问题的研究,初步建立了一个包括过程建模理论、过程模型形式化描述、过程模型合理性验证、资源建模等内容,用于指导业务过程管理系统设计与开发的理论框架。 在过程建模理论方面,本文通过对传统Petri网变迁的发生规则进行扩展,提出一种能够表达丰富的变迁发生语义的高级Petri网——L网,论述了L网的发生权与发生结果,定义了L网的发生方式、发生条件和发生规则矩阵。给出了过程模型中常见的XOR、OR、AND等结构在L网中的定义,研究了复杂变迁规则(如3选5)在L网中的表达方式。针对业务过程模型的特点,在L网的基础上定义了一种既能表达丰富的控制语义,又具有直观的图形表示的特殊的L网——业务过程网,研究了业务过程网的输入输出相关性,并通过与工作流网的对比说明了业务过程网的优势。 BPMN是业务过程建模的起点,在这个阶段赋予过程模型严格的形式化语义以便进一步的分析和检验,可以在很大程度上将可能的错误排除在模型的概要设计阶段。本文对BPMN规范中与过程执行行为有关的元素用pi演算进行了描述,赋予了这些元素严格的pi演算语义,论述了从BPMN模型到pi演算表达式的转化方案,利用pi演算对BPMN构建的Web服务组合过程模型的交互行为进行了模拟,给出了交互过程描述的例子。 在过程模型的合理性验证方面,本文以业务过程网为研究对象,提出了Q代数和基于Q代数的过程模型可达性检验的理论和方法,研究了Q代数的数学特征,给出了常用的定理及其证明,定义了BP-net的可达度,给出了BP-net向Q代数的转化公式,以及根据变迁的发生规则矩阵对Q表达式演算求值的步骤,出了针对不同类型BP-net求解可达度的例子。 在资源建模理论方面,本文分析了关于过程管理的4个观念上的问题,提出了路由逻辑与管理逻辑分解的思想,划分了业务过程管理与资源管理的界限,建立了一种资源管理的数学基础——企业资源模型,给出了企业资源模型的形式化描述,定义了企业资源模型的完备性规则,给出了完备性检验的一种实现方案。企业资源模型将过程模型本身以及过程模型中的活动统一抽象为资源进行管理,通过维护企业资源模型完备性来确保资源的引用的正确性。 本文最后提出了一种业务过程管理系统的参考模型,论述了参考模型的设计原则,给出了这个模型的部件组成及交互关系,并在SynchroFLOW工作流系统基础上,开发了一个BPM预研系统SynchroBPM4RM,实现了这个参考模型的主要功能。
【学位授予单位】:西北大学
【学位级别】:博士
【学位授予年份】:2007
【分类号】:F270.7;TP301.1

手机知网App
【引证文献】
中国期刊全文数据库 前2条
1 杨鹏玉;邱锦伦;;基于Pi演算的BPMN编排模式[J];计算机工程;2009年23期
2 李向宁;郝克刚;;一种面向业务过程管理的企业资源模型[J];西北大学学报(自然科学版);2007年05期
中国博士学位论文全文数据库 前3条
1 胡沙;面向服务的模具企业信息系统集成平台关键技术研究[D];华中科技大学;2010年
2 蔡章利;基于BPMN的业务流程一体化建模方法研究与实现[D];重庆大学;2011年
3 付丽娜;信牌驱动工作流模型的安全结构与仿真技术研究[D];西北大学;2012年
中国硕士学位论文全文数据库 前5条
1 张婷;魔力平台业务过程建模冲突消解的研究与实现[D];哈尔滨工程大学;2011年
2 潘丽丽;基于状态ECA规则和Web服务的业务过程集成方法研究[D];中国海洋大学;2008年
3 马志辉;面向工作流的企业应用集成研究[D];西安电子科技大学;2009年
4 李潇;BPMN到WS-CDL的转换研究[D];复旦大学;2009年
5 孟晓丽;物流配送领域语义业务流程模型应用研究[D];北方民族大学;2012年
【参考文献】
中国期刊全文数据库 前5条
1 岳晓丽,杨斌,郝克刚;信牌驱动式工作流计算模型[J];计算机研究与发展;2000年12期
2 郝克刚;王斌君;安贵;;WPDL中的JOIN语义问题和分区解决方案[J];计算机科学;2003年07期
3 董云卫;楼文晓;郝克刚;;业务流程管理与集成系统SynchroFLOW的软件体系结构[J];计算机科学;2004年06期
4 姜跃平,汪卫,施伯乐,董继润;ECA规则的模型和行为特定理论[J];软件学报;1997年03期
5 郝克刚,王斌君;非确定Petri网[J];小型微型计算机系统;2003年03期
中国博士学位论文全文数据库 前1条
1 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
【共引文献】
中国期刊全文数据库 前10条
1 安晓亚;李颖;孙群;严薇;;面向空间数据主动更新的地理事件模型研究[J];北京大学学报(自然科学版);2011年03期
2 张亮;金茂忠;姚淑珍;;一种支持工作流模式的扩展工作流网[J];北京航空航天大学学报;2007年01期
3 章汉武;龚俊;吴华意;;地理空间信息服务质量评价的概念与方法[J];测绘科学;2012年01期
4 Jong-sun CHOI;Jae-young CHOI;Yong-yun CHO;;Context-aware Workflow Model for Supporting Composite Workflows[J];Journal of Measurement Science and Instrumentation;2010年02期
5 于忠诚,桑丽萍;工作流管理系统中动态修改技术的研究[J];燕山大学学报;2003年04期
6 李征;李昭;何克清;王健;冯在文;;Research on Evolution of Goal-Driven Service Composition Patterns[J];Journal of Donghua University(English Edition);2012年01期
7 张华;王茜;;面向服务工作流补偿机制的研究与实现[J];东南大学学报(自然科学版);2009年01期
8 黄园媛;曾亮;周斌;;工作流开发平台框架的研究与开发[J];电脑与信息技术;2007年01期
9 于素萍;毛伟伟;;基于抽象服务流程的Web服务组合的重用[J];电脑知识与技术;2010年33期
10 梁永潮;朱宇;张坤鳌;;基于SSH2动态工作流模型的研究与设计[J];电脑知识与技术;2011年19期
中国重要会议论文全文数据库 前10条
1 李佳佳;耿鑫;李斌;;一种基于BPEL的自适应工作流管理框架[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
2 张峰;陈欣;刘淑霞;;一种以用户为中心、人可参与的服务组合方法[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
3 徐洸;杨伟锋;唐桂芬;;基于工作流的抢险救灾空中力量辅助决策系统设计与实现[A];第十三届中国管理科学学术年会论文集[C];2011年
4 陆永强;党齐民;;动态工作流建模分析和验证的研究[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
5 陆永强;党齐民;;动态工作流建模分析和验证的研究[A];全国第十届企业信息化与工业工程学术年会论文集[C];2006年
6 白广奇;赵合计;王澄澄;;基于流程继承的工作流动态修改[A];山东省计算机学会2005年信息技术与信息化研讨会论文集(二)[C];2005年
7 陈娇娇;薛岗;何象林;何婧;;基于DSC的工作流模式描述研究[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
8 韦银星;张申生;曹健;;基于UML活动图的软件过程模型研究[A];第六届全国计算机应用联合学术会议论文集[C];2002年
9 姜跃平;乔彬彬;;主动规则的局部行为分析[A];第十五届全国数据库学术会议论文集[C];1998年
10 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
中国博士学位论文全文数据库 前10条
1 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
2 尹可挺;Internet环境中基于QoS的Web服务组合研究[D];浙江大学;2010年
3 崔毓剑;基于网络化的林业工程装备制造业供应链协同研究[D];中南林业科技大学;2010年
4 董存祥;应急事件处置流程建模及其过程协同研究[D];天津大学;2010年
5 刘灿灿;科学工作流管理及调度研究[D];国防科学技术大学;2011年
6 蔡章利;基于BPMN的业务流程一体化建模方法研究与实现[D];重庆大学;2011年
7 汪毅;基于语义的服务流程复用技术研究[D];上海交通大学;2012年
8 黄红梅;基于同步管理器的柔性工作流建模方法的研究[D];广东工业大学;2011年
9 沈春龙;虚拟制造可视化环境及其过程管理的技术研究[D];南京理工大学;2002年
10 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
中国硕士学位论文全文数据库 前10条
1 密海英;面向某电子企业的产品协同管理系统的设计与实现[D];苏州大学;2010年
2 荆超;柔性工作流过程模型的研究[D];长春工业大学;2010年
3 邱玲;基于主动数据库的危险源监控系统设计与实现[D];电子科技大学;2010年
4 李占峻;基于Pi演算的网格工作流形式化描述及有效性检测[D];解放军信息工程大学;2009年
5 朱琴;放射流程监控与自动排班技术研究[D];浙江大学;2011年
6 曹飞;基于SynchroFlow仿真模型的工作流仿真技术的研究[D];西北大学;2011年
7 王莉;支持决策的工作流仿真工具的设计与实现[D];西北大学;2011年
8 陈向群;基于工作流的业务流程仿真技术研究与实现[D];西北大学;2011年
9 刘瑞杰;模型驱动业务流程度量及应用[D];西北大学;2011年
10 刘雅琪;基于工作流的网上协同OA系统的设计与研究[D];湖北工业大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 朱瑜;杨国纬;;过程定义语言XPDL,BPML和BPEL4WS的比较分析[J];成都信息工程学院学报;2005年06期
2 史春景;郝永平;刘永贤;;基于本体的车间业务流程知识分析及表达[J];东北大学学报(自然科学版);2010年03期
3 侯伦,唐小我;企业信息化及其指标体系探讨[J];电子科技大学学报(社科版);2001年03期
4 伍治平;;基于信息系统平台的企业信息化[J];电脑编程技巧与维护;2008年14期
5 姜浩,董逸生,罗军舟;基于Petri网的工作流过程建模与分析方法的研究(英文)[J];Journal of Southeast University(English Edition);2000年02期
6 王磊建;赵立君;范晓晖;刘越;;SaaS应用生成平台的实践与探讨[J];电信技术;2008年09期
7 王海林;张德进;许海清;庄哲寅;;基于SOA架构的业务流程管理系统设计与实现[J];电力信息化;2008年07期
8 胡建生;;从企业信息化到信息化企业[J];电力信息化;2009年05期
9 常继传,李克勤,郭立峰,梅宏,杨芙清;青鸟系统中可复用软件构件的表示与查询[J];电子学报;2000年08期
10 周建涛,史美林,叶新铭;CBR:一种支持工作流过程语义验证的组件级化简方法[J];电子学报;2005年06期
中国重要会议论文全文数据库 前1条
1 王远;王坚;;基于状态的工作流引擎推进机制研究[A];先进制造技术论坛暨第五届制造业自动化与信息化技术交流会论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 霍红卫;遗传算法在图论和优化中的应用[D];西安电子科技大学;2000年
2 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
3 汤洪涛;业务过程管理实施方法理论及应用的研究[D];浙江大学;2004年
4 丁祥海;制造企业信息化实施过程管理理论与方法研究[D];浙江大学;2004年
5 倪益华;基于本体的制造企业知识集成技术的研究[D];浙江大学;2005年
6 朱海平;支持业务流程管理的工作流建模和分析理论研究[D];华中科技大学;2004年
7 熊禾根;模具企业动态车间作业计划研究[D];华中科技大学;2005年
8 林宋;信息化制造中的信息理论与集成方法研究[D];华中科技大学;2005年
9 于守健;基于Web服务组合的业务流程集成关键技术研究[D];东华大学;2005年
10 李淑娟;模具企业敏捷制造控制技术研究[D];西安理工大学;2006年
中国硕士学位论文全文数据库 前7条
1 徐俊;基于业务规则的业务过程管理研究[D];山东大学;2005年
2 钱凌;一个基于本体和规则推理的查询系统的设计与实现[D];东南大学;2006年
3 王婷;SOA的研究与实现[D];长春理工大学;2008年
4 佟伟;基于SCA的轻量级BPEL引擎的设计与实现[D];北京工业大学;2008年
5 高尚;Ajax/REST架构的研究与开发框架的实现[D];北京邮电大学;2008年
6 冯美育;基于语义WEB的物流管理系统核心业务流程设计与实现[D];天津大学;2007年
7 李秀林;基于动态消息路由的ESB应用集成框架的研究与应用[D];中南大学;2009年
【二级引证文献】
中国期刊全文数据库 前1条
1 黄海松;谢庆生;李少波;;中药制造企业生产资源建模与管理研究[J];制造业自动化;2012年09期
中国博士学位论文全文数据库 前1条
1 谭伟;基于Web服务的制造业务流程协同关键技术研究[D];华南理工大学;2013年
中国硕士学位论文全文数据库 前10条
1 罗珍;基于WS-CDL的多方协同流程监控技术研究及实现[D];华东理工大学;2011年
2 郑飞飞;面向中小型运输物流企业的工作流模型构建与应用[D];南京师范大学;2011年
3 张元青;基于MDA的模型转换工具的设计与实现[D];哈尔滨工业大学;2011年
4 刘龙;基于编排模型的业务流程监控技术研究与实现[D];华东理工大学;2012年
5 王辉;基于规则的访问控制模型研究与应用[D];南京理工大学;2012年
6 高峰;组合式Petri网对PI演算的转换与验证[D];吉林大学;2010年
7 张妍;基于BizTalk的系统集成方法的研究与应用[D];西安工业大学;2010年
8 左超;跨组织政务流程的业务规则描述与控制方法[D];大连理工大学;2012年
9 吴新丽;无标度供应网格簇及其管理系统开发与应用[D];浙江理工大学;2012年
10 吴海龙;模具生命周期管理系统开发研究[D];天津大学;2012年
【二级参考文献】
中国期刊全文数据库 前10条
1 姜浩,罗军舟,方宁生;模糊Petri网在带权不精确知识表示和推理中的应用研究[J];计算机研究与发展;2000年08期
2 岳晓丽,杨斌,郝克刚;信牌驱动式工作流计算模型[J];计算机研究与发展;2000年12期
3 范玉顺,吴澄;基于工作流的CIMS应用集成支持系统研究[J];计算机工程与应用;2000年02期
4 陆维明;林闯;;Petri网研究:机遇与挑战[J];计算机科学;1994年04期
5 姜跃平;董继润;;完整性约束规则的自动生成[J];计算机科学;1994年04期
6 范玉顺,吴澄,杨建华;FMS可靠性指标计算的有色广义随机Petri网方法[J];计算技术与自动化;1997年04期
7 范玉顺,吴澄,王刚,高展;集成化企业建模方法与工具系统研究[J];计算机集成制造系统-CIMS;2000年03期
8 范玉顺,吴澄;CIMOSA功能模型的Petri网表示方法[J];计算机集成制造系统-CIMS;1997年06期
9 郝克刚,葛玮;论高级Petri网系统的等价谱系[J];计算机学报;1993年07期
10 史美林,杨光信,向勇,伍尚广;WfMS:工作流管理系统[J];计算机学报;1999年03期
【相似文献】
中国期刊全文数据库 前10条
1 王建民;;关于“业务过程管理”专栏[J];计算机集成制造系统;2013年08期
2 谭伟,范玉顺;业务过程管理框架与关键技术研究[J];计算机集成制造系统;2004年07期
3 李向宁;郝克刚;;一种面向业务过程管理的企业资源模型[J];西北大学学报(自然科学版);2007年05期
4 王伟然;张洵;范玉顺;;业务过程管理中基于组织和角色语义的访问控制[J];信息与控制;2009年03期
5 李向宁;郝克刚;赵克;;一种新的业务过程管理模型[J];计算机学报;2008年01期
6 邢文生;李希臣;;基于业务过程管理的库存管理系统的研究与设计[J];微计算机信息;2007年24期
7 彭旭;曾庆勇;党伟升;耿坤瑛;;基于业务过程的高效协同工作管理[J];CAD/CAM与制造业信息化;2007年Z1期
8 冯国奇;王成恩;;分布式业务过程管理中Web服务的应用及选择[J];计算机集成制造系统;2006年02期
9 胡广昌;吴步丹;陈俊亮;;基于情景感知和规则导向的业务过程自适应[J];计算机集成制造系统;2013年08期
10 赵海燕;曹健;周晓俊;;面向业务过程管理的Agent平台的设计及实现[J];计算机科学;2008年12期
中国重要会议论文全文数据库 前1条
1 王颖;刘国华;赵丹枫;赵威;;Ar/T-Net:一种面向Artifact的业务过程概念模型[A];第26届中国数据库学术会议论文集(A辑)[C];2009年
中国重要报纸全文数据库 前1条
1 易水;新词集锦[N];计算机世界;2002年
中国博士学位论文全文数据库 前2条
1 汤洪涛;业务过程管理实施方法理论及应用的研究[D];浙江大学;2004年
2 李向宁;业务过程管理理论与若干关键技术研究[D];西北大学;2007年
中国硕士学位论文全文数据库 前5条
1 郑杰;企业业务过程管理平台研究[D];清华大学;2005年
2 唐亮;过程模式及业务过程管理系统研究[D];天津大学;2004年
3 马超;面向业务过程的服务动态组合方法研究[D];哈尔滨工程大学;2011年
4 曹慧;ERP管理思想和业务过程管理模型的研究与实现[D];北京邮电大学;2006年
5 陈常青;基于过程管理的“驾驶人服务与管理”系统的设计与实现[D];解放军信息工程大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026