导读:本文包含了异常处理建模论文开题报告文献综述及选题提纲参考文献，主要关键词:业务流程,异常处理,补偿,Petri网
异常处理建模论文文献综述
雷义伟,贲可荣[1]（2015）在《基于补偿事务的业务流程异常处理建模研究》一文中研究指出对补偿触发条件的判断会影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使得流程开发人员在设计补偿流程时容易出错。分析了顺序、选择、并发等几种基本流程结构及其复合结构中的补偿依赖,给出了补偿活动触发条件计算方法和补偿事务的Petri网模型构造过程,并通过实例说明了方法的可行性。(本文来源于《计算机科学》期刊2015年07期）
蒋曹清,应时,文静,贾向阳,王一兵[2]（2013）在《面向服务软件中异常处理的形式化建模方法》一文中研究指出针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。(本文来源于《西安交通大学学报》期刊2013年04期）
于万钧,金炳旭,张宾,刘全[3]（2011）在《基于OWL的工作流异常处理建模方法》一文中研究指出针对工作流异常和本体的特点,提出了任务属性的概念和基于网络本体语言(Webontology language,OWL)本体推理及属性驱动的异常识别方法。任务属性扩展了工作流活动模型(Workflow activity model,WAMO)模型的事务属性,并附加在流程任务之外,利用OWL本体语言对其进行描述,通过任务属性建立起任务异常与处理模式之间的映射关系。在任务发生异常后,OWL本体推理机通过已定义的映射关系使任务异常检索到异常本体中根据属性描述的异常处理模式,进而对任务异常做出相应的处理。由于OWL的定义是增量式的,并且具有通用资源标识符,因此不仅可以使异常处理机制通过语义而非关键字来识别任务异常的处理模式,而且还能在分布式环境下对异常知识库进行扩展式开发,减少知识库开发的工作量。(本文来源于《吉林大学学报(工学版)》期刊2011年03期）
刘炎培[4]（2010）在《基于扩展OOPN业务流程建模及异常处理模型研究》一文中研究指出随着信息技术的发展,业务流程的范围也从部门和组织内部扩展到跨越部门,甚至跨越企业的边界,业务流程呈现出复杂、多变的特点。面向对象Petri网(Object-Oriented Petri Nets)以其独具的建模方法简洁、数学分析能力强的特性成为研究的热点。虽然面向对象Petri网建模方法能在一定程度上解决复杂系统的建模问题,但他们仍存在一定的弊端,突出表现在:(1)传统的面向对象Petri网建模方法,对象内的业务流程固定化,与现代为适应激烈的市场竞争不断改革、不断精简业务流程、不断改进管理的现状不相适应;(2)传统的面向对象Petri网建模方法,对象间传递的消息是不受任何控制的。但现实的业务流程系统,有时候需要“人为”的控制。同时,由于异常的存在,严重影响了业务流程系统的运行质量,为了建立可靠的业务流程系统,不仅要求系统在正常情况下能够顺利运行,更重要的是要求它能够灵活处理各种异常问题,当异常发生时,能够采取措施恢复数据并保持数据的一致性,但目前业务流程异常处理过程采用的操作存在着复杂、不灵活、被动以及可靠性低等缺陷,这将严重影响到业务流程的正常、平稳、可靠、高效的运行,因此需要有一些有效的方式来很好地解决这些问题。本文在业务流程建模和业务流程异常处理两个方面进行了深入研究,提出了相关的理论方案和实现策略。业务流程建模方面,在面向对象Petri网建模的基础上,在对象内部引入了一个特殊的变迁――控制变迁,在各对象之间引入了控制器,提出了一种基于控制结构的面向对象Petri网(CS-OOPN)模型。通过利用该模型为某集团公司设备采购管理系统建模,并以审批部门的CS-OOPN模型为例,求其关联矩阵、可覆盖性树和P不变量,并进行相关性分析,说明了CS-OOPN的有效性和强大的建模能力。异常处理方面,融合了事物特性与程序设计结合法、知识库法和ECA规则法,并把Agent技术引进来,提出了一种基于Agent业务流程异常处理模型,该模型利用Agent的特性避免传统业务流程异常处理存在的复杂、不灵活、被动以及可靠性低等缺陷,巧妙的解决了业务流程中不可预测的异常。最后,通过对某集团公司设备采购管理系统业务流程出现的异常情况进行分析,利用该模型处理异常,验证了其模型的有效性和正确性。(本文来源于《南昌航空大学》期刊2010-06-01）
张静,王海洋[5]（2005）在《面向组合的业务流程建模及异常处理》一文中研究指出随着信息技术的发展,业务流程的范围扩展至跨越部门,甚至跨越企业的边界,复杂性也越来越高。提出一种形式化的面向组合的业务流程模型,该模型以流程代数π演算为形式化基础,通过组合简单的结构化流程控制模块,建立复杂的流程模型,并给出了模型的合理性验证。利用流程可组合的特性,将异常处理逻辑从正常的流程控制逻辑中分离出来,并将异常处理区域化,以最小化计划外偶然事件的有害影响。(本文来源于《系统仿真学报》期刊2005年11期）
张志君[6]（2003）在《工作流建模、执行与异常处理研究》一文中研究指出工作流技术通过信息技术的支持为企业的经营过程提供了一个从模型分析、建立、管理、仿真到运行的完整框架，是实现业务过程管理与控制的一项关键性技术。本文从提高工作流技术的实用性能入手，在工作流建模、执行和异常处理叁个方面进行了深入的研究，提出了相关的理论方案和实现策略。对工作流技术进行深入研究对于进一步提高我国企业信息化程度，增强企业核心竞争力有着非常重要的意义。本文首先对工作流技术发展情况进行了概述，总结了目前工作流技术的发展趋势，介绍了工作流管理系统的参考模型。对于在工作流系统实现中用到的企业级别分布式软件开发领域的COM+技术进行了介绍。在工作流建模方面，通过扩展传统活动网络图模型中的模型元素，加入等待节点、并行模块、服务和修改模块，提出了一种柔性的工作流元模型，很好的解决了原有的业务事件同步、多活动实例、服务类型活动和运行时过程建模等问题。实例表明，该元模型具有描述能力强，建模方法柔性化，结构清晰简洁等优点。在工作流系统执行技术方面，提出了一种基于COM+技术的分布式工作流系统实现框架，通过多层结构的方式实现了工作流系统中应用、逻辑与数据的分离，系统在可靠性、可扩展性与实用性等方面都具有良好的性能。该框架在CIMFlow 3.0工作流执行系统中的实际应用证明了该框架适用于企业业务过程管理。本文还详细的介绍了CIMFlow 3.0工作流执行系统的实现方法，并给出一个具体的实施例子说明该系统的使用和部署。在异常处理方面，通过对工作流系统异常的分析，结合高级编程语言的异常处理方法、工作流任务的事务特征和组织层次的异常处理协调叁个方面提出了一种工作流系统异常处理的实现方法。该方法通过人工与自动执行相结合的方式处理异常，引入通知和脚本活动扩展了一般的基于普通活动的异常处理模式，并且支持异常的传递和协同处理。(本文来源于《清华大学》期刊2003-06-01）
异常处理建模论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
异常处理建模论文参考文献
[1].雷义伟,贲可荣.基于补偿事务的业务流程异常处理建模研究[J].计算机科学.2015
[2].蒋曹清,应时,文静,贾向阳,王一兵.面向服务软件中异常处理的形式化建模方法[J].西安交通大学学报.2013
[3].于万钧,金炳旭,张宾,刘全.基于OWL的工作流异常处理建模方法[J].吉林大学学报(工学版).2011
[4].刘炎培.基于扩展OOPN业务流程建模及异常处理模型研究[D].南昌航空大学.2010
[5].张静,王海洋.面向组合的业务流程建模及异常处理[J].系统仿真学报.2005
[6].张志君.工作流建模、执行与异常处理研究[D].清华大学.2003