导读:本文包含了高级工作流网论文开题报告文献综述及选题提纲参考文献，主要关键词:工作流,长事务,Saga,Agent
高级工作流网论文文献综述
丁月华[1]（2012）在《工作流高级事务模型ESaga的实现与验证》一文中研究指出对传统高级事务模型Saga进行扩展和改进的高级事务模型ESaga,建立在CORBA对象事务服务模型(OTS)基础之上.不仅为Saga模型增加了分布式事务支持,而且应用多A-gent技术进行优化,很大程度上弥补了Saga模型补偿事务过于复杂的不足,使Saga模型能够应用到现实工作流系统中解决长事务问题.现给出与ESaga模型实现相关的平台,长事务处理接口定义,事务Agent的部分定义、算法,及其验证结果.(本文来源于《内蒙古大学学报(自然科学版)》期刊2012年06期）
李玉贤[2]（2011）在《基于高级Petri网的工作流系统建模与性能评价》一文中研究指出对业务流程建模是将业务流程计算机化的必要手段,同时工作流建模属于工作流管理系统的叁大主要功能,目前已经成为工作流技术的研究热点之一。论文选择在形式化描述和直观图形表示方面都很强大的Petri网建模技术作为建模工具,主要研究如何更加有效地对业务流程建模,并对建模方法给出分析。论文在深入研究现有建模方法的基础上,借鉴着色Petri网和时间Petri网的研究成果,扩展了工作流网,给出了一个时间约束扩展工作流模型的形式化描述,统一描述了数据资源、活动时间约束的信息,通过应用实例详细展示了该模型。在时间约束扩展工作流模型的基础上,详细分析了模型时间约束的一致性并给出对时间冲突的解决方法,并且结合模糊时间的理论,提出了模糊时间约束扩展工作流模型,给出了模型中时间函数的定义,提高了模型对不确定时间应用的建模能力,可以计算流程实例的时间可能性。提出根据层次建模方法对模型结构进行正确性验证,给出了子网缩简规则,设计了流程的执行时间性能评价算法并用具体实例展示算法执行步骤。(本文来源于《中南大学》期刊2011-06-30）
单修慧[3]（2011）在《基于高级Petri网的柔性工作流模型映射》一文中研究指出工作流模型可以清晰的描述业务流程,而且随着信息技术的进步,其应用范围也越来越广,对工作流模型的科学评价也越来越成为必要。然而,传统工作流管理系统通常只是严格按照工作流的定义来执行的,但在实际应用中由于缺少必要的信息、得不到资源、业务流程发生变化等意外情况,用户需要对静态工作流模型进行必要的修改,提高工作流的柔性,使工作流能更好的适应应用的需要。如何提高工作流的柔性已经成为工作流管理领域中最重要的研究课题之一。传统工作流柔性较低,主要是因为工作流本身在资源、控制、任务分配方面的不确定性,使得建模与运行分离,造成建模结果不能很好应用于实际情况。而且目前还没有可以较为系统的分析、评价工作流性能的软件,模型建立后不能进行系统评价和进一步优化。Petri网是一套完善的形式化的建模方法,是一种图形化和数学化的系统建模与分析工具,并且可以使用CPN Tools进行运行和性能方面的分析。运用CPN对柔性工作流进行建模、测试、分析、优化在工作流研究领域已经得到越来越多的重视。本文主要使用高级Petri网对工作流进行建模,并给出了一系列将工作流模型转化为着色Petri网模型(CPN)的转换规则,分别将工作流中的角色、活动、子流程、资源等基本元素转化为Petri网中的令牌、变迁、子变迁、库所等基本元素。转化规则还可以将工作流中的基本元素结构(顺序、与分支、与连接、或分支、或连接、选择分支)和基本控制结构(顺序结构、并行结构、单一选择、简单合并、循环、多路选择、多路合并)转化为CPN中的结构。在改进映射规则的同时,还需要进一步提高工作流的柔性。本文以基于动态结构的工作流建模为基础,结合CPN的特点,对柔性工作流建模方法进行了改进。本文主要从控制方面入手,在静态建模方面提出了基于Petri网的动态组合方法,使用替代变迁,连接具有相同输入、输出接口的子页面;在动态变更方面提出了基于Petri网的两种柔性工作流选择的实现方法,一种是基于弧表达式、变迁警卫函数的路径选择方法,实验证明提高了工作流执行过程动态适应性;另一种是基于“Bind manually”的用户参与选择方法,提高了工作流执行过程的可操作性。(本文来源于《中国石油大学》期刊2011-05-01）
崔文成,杨雪,葛睿,邵虹,于淼[4]（2010）在《基于高级Petri网的住院医师培训工作流建模与分析》一文中研究指出为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.(本文来源于《沈阳工业大学学报》期刊2010年06期）
杨雪[5]（2010）在《基于高级Petri网的住院医师培训工作流系统建模与实现》一文中研究指出目前,政府机构及企事业单位都呈现出从以人力为主的办公模式到以工作流技术为中心的自动化办公模式的转变趋势,工作流管理系统实现了企业业务流程自动化管理,提高企业的工作效率和工作质量。为使住院医师培训系统能够协调并发运行,流程步骤能够正确无误执行,需要一种有效的、形式化的建模技术为系统构建模型。形式化建模方法可对模型进行清晰、易懂、无二义性的定义和形式化分析。Petri网是作为研究离散、并发系统的有力工具,是最主要的工作流建模和分析方法。研究了高级Petri网的工作流建模及分析方法、工作流模型的描述及实现方法,并详细描述了住院医师工作流系统的建模-分析-实现完整的开发过程。在工作流建模方面,将高级Petri网的颜色扩展技术和跨组织Petri网技术相结合的综合建模技术为系统建模,并通过对称库所和变迁合并过程推导出初级颜色集合,实现了从传统Petri网到高级Petri网模型的稳步过度。在验证模型性能方面,给出了分级验证法验证跨组织结构模型性能。组织内采用不变量验证法验证合理性;组织问采用归约-可达图方法验证关联关系可达性。最后在模型描述方面,给出一种前驱-后继编码描述法描述Petri网模型,将形式化的Petri网图形转变为规则性编码,以XML文件描述各个节点的属性,使Petri网模型在住院医师培训系统中得到实际应用。采用着色跨组织高级Petri网建模技术为住院医师培训系统构建模型提高了住院医师培训系统的执行效率;并通过不变量法和归约-可达图法验证法确保了组织内部和组织间无死锁,从而实现培训计划准确无误的进行。(本文来源于《沈阳工业大学》期刊2010-01-08）
李占峻,黄永忠,张晓雯[6]（2009）在《应用Pi演算描述工作流高级模式》一文中研究指出分析了对工作流进行形式化建模的意义,应用Pi演算对工作流高级模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上,提出了一种语义清晰的描述方法,该方法相比以前的方法可以更好地描述工作流的动态改变,为进一步形式化分析、描述工作流奠定了基础。最后以旅游预订业务系统为实例进行了业务过程建模。(本文来源于《信息工程大学学报》期刊2009年04期）
许令波[7]（2009）在《基于高级Petri网的工作流系统模型的研究》一文中研究指出工作流技术是实现企业业务过程建模、业务过程仿真分析、业务过程优化、业务过程管理与集成,最终实现业务过程的自动化的核心技术。对企业利用工作流方法进行业务过程的建模和深入分析不仅可以规范化企业的业务流程,发现业务流程中不合理的环节,进而对企业的业务过程进行优化重组,而且所建立的业务过程模型本身就是企业非常重要的知识库和规则库,可以成为指导企业实施计算机管理信息系统的模型。本文对工作流技术进行了较深入研究,所做的主要工作如下:(1)系统介绍了Petri网的基本概念,Petri网的性质和常用的分析方法,工作流标准化参考模型以及体系结构。(2)详细阐述了基于Petri网的工作流建模方法,提出如何建立工作流并在此基础上从模型的正确性和模型的性能评价两方面对工作流Petri网模型进行分析的方法。(3)针对企业业务流程目前越来越明显的复杂特性和动态特性,引入了层次工作流Petri网建模技术,并且对运用这种技术最终生成的工作流Petri网摸型的正确性进行了验证。(4)给出了工作流Petri网的时间性能近似分析的方法,提出了利用工作流Petri网模型对工作流的平均时间性能进行分析。(5)本文最后以一个企业物流管理系统实例形象地描述了如何利用上述方法对实例工作流管理系统进行建模、分析与评价,试验证明了该工作流系统模型有很好的效率。(本文来源于《合肥工业大学》期刊2009-04-01）
本刊编辑部[8]（2008）在《大力加强合作 整合影视工作流——访Autodesk公司传媒娱乐部高级电视行业经理布鲁诺·赛金、中国区系统产品销售总经理徐洋》一文中研究指出随着一年一度的北京国际广播电影电视设备展览会(BIRTV)的召开,欧特克(Autodesk)公司传媒娱乐部于11月8日举办了新闻发布会。Autodesk传媒娱乐部高级电视行业经理布鲁诺·赛金(Bruno Sargeant)先生为到场的媒体朋友们详细介绍了Autodesk近年来在传媒娱乐行业的最新发展状况以及公司的最新产品及其技术应用情况。发布会结束后,布鲁诺·赛金先生和欧特克中国区系统产品销售总经理徐洋先生接受了的采访。(本文来源于《现代电视技术》期刊2008年12期）
周玲元[9]（2008）在《基于高级Petri网的工作流技术的研究》一文中研究指出工作流技术是实现企业业务过程建模、仿真分析、优化、管理与集成,从而最终实现其自动化的核心技术。越来越多的企业正在广泛地使用工作流技术以提高企业的运行效率;时间管理是在企业应用工作流技术的过程中非常重要的问题,会直接影响到工作流的执行效率。Petri网以其充分的模拟能力和严谨、丰富的分析方法,逐渐成为工作流建模理论中的一种主流技术。近年来,研究人员发展了Petri网理论,提出了很多种Petri网的扩展方案,叁种应用最广泛的是基于时间、颜色和层次的扩展方案。但是这些工作流模型在建模时间信息方面还普遍存在着不足;在上述这些模型中,时间信息都是确定性的,缺乏对不确定性时间信息的描述能力。在明确了当前基于Petri网的工作流模型的不足之后,本论文将研究内容确定为提出一种新的工作流模型着色模糊时间工作流网CTWFN-net,它能够全面地描述与活动中的时间模糊信息。工作流性能分析是工作流研究中非常重要的一个方面,本文首先研究了在加入时间因素后对整个工作流的影响,对违反一致性的可能比如:循环、死锁以及时间上的冲突等也具体的分析并提出了相对的解决办法,并从定性分析和定量分析两方面讨论了工作流模型的各种分析技术;针对工作流网可以有一些基本网结构所合成构成这一特点,本文还提出了一套对时间约束Petri网进行保持时间约束特性不变的网变换规则,并设计了基于这套规则的网的简化算法,通过反复应用变换规则逐步减小网的规模,进而计算出工作流系统响应时间。(本文来源于《哈尔滨工程大学》期刊2008-02-27）
丁月华,李冠宇,顼聪,丁伟华[10]（2007）在《工作流系统中应用Agent改进的高级事务模型》一文中研究指出工作流高级事务模型因结构过于复杂,或者实现起来过于困难,很难应用到实际的工作流系统中。该文以Saga模型为基础,结合成熟的对象事务服务技术,并应用多agent技术对结合OTS模型的Saga模型进行优化,提出并实现了一种切实可行的高级事务模型Esaga,为Saga模型增加了分布式事务支持,很大程度上弥补了Saga模型的不足。(本文来源于《计算机工程》期刊2007年22期）
高级工作流网论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
对业务流程建模是将业务流程计算机化的必要手段,同时工作流建模属于工作流管理系统的叁大主要功能,目前已经成为工作流技术的研究热点之一。论文选择在形式化描述和直观图形表示方面都很强大的Petri网建模技术作为建模工具,主要研究如何更加有效地对业务流程建模,并对建模方法给出分析。论文在深入研究现有建模方法的基础上,借鉴着色Petri网和时间Petri网的研究成果,扩展了工作流网,给出了一个时间约束扩展工作流模型的形式化描述,统一描述了数据资源、活动时间约束的信息,通过应用实例详细展示了该模型。在时间约束扩展工作流模型的基础上,详细分析了模型时间约束的一致性并给出对时间冲突的解决方法,并且结合模糊时间的理论,提出了模糊时间约束扩展工作流模型,给出了模型中时间函数的定义,提高了模型对不确定时间应用的建模能力,可以计算流程实例的时间可能性。提出根据层次建模方法对模型结构进行正确性验证,给出了子网缩简规则,设计了流程的执行时间性能评价算法并用具体实例展示算法执行步骤。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
高级工作流网论文参考文献
[1].丁月华.工作流高级事务模型ESaga的实现与验证[J].内蒙古大学学报(自然科学版).2012
[2].李玉贤.基于高级Petri网的工作流系统建模与性能评价[D].中南大学.2011
[3].单修慧.基于高级Petri网的柔性工作流模型映射[D].中国石油大学.2011
[4].崔文成,杨雪,葛睿,邵虹,于淼.基于高级Petri网的住院医师培训工作流建模与分析[J].沈阳工业大学学报.2010
[5].杨雪.基于高级Petri网的住院医师培训工作流系统建模与实现[D].沈阳工业大学.2010
[6].李占峻,黄永忠,张晓雯.应用Pi演算描述工作流高级模式[J].信息工程大学学报.2009
[7].许令波.基于高级Petri网的工作流系统模型的研究[D].合肥工业大学.2009
[8].本刊编辑部.大力加强合作整合影视工作流——访Autodesk公司传媒娱乐部高级电视行业经理布鲁诺·赛金、中国区系统产品销售总经理徐洋[J].现代电视技术.2008
[9].周玲元.基于高级Petri网的工作流技术的研究[D].哈尔滨工程大学.2008
[10].丁月华,李冠宇,顼聪,丁伟华.工作流系统中应用Agent改进的高级事务模型[J].计算机工程.2007