首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 312 毫秒

1.  基于构件软件的可靠性通用模型  被引次数:38
   毛晓光  邓勇进《软件学报》,2004年第15卷第1期
   工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.    

2.  一种时间工作流模型的启发式分析方法  被引次数:1
   李慧芳  范玉顺《中国机械工程》,2004年第15卷第2期
   立足于实际业务过程对工作流系统时间管理功能的需求,提出了一种新的工作流时间建模与分析方法。为工作流网的元素扩展时间属性建模业务过程的时间因素;讨论了时序业务环境中活动的可调度分析,给出了时序一致性验证方法;提出了启发式可调度性分析方法,用于验证某一给定工作流实例执行的时间可行性。研究结果表明,所提方法不仅支持业务过程的时间约束规范与验证,还对丰富工作流时间建模理论具有重要意义。    

3.  基于时间约束Petri网的工作流可调度性分析  被引次数:1
   冯林  姜浩《计算机技术与发展》,2006年第16卷第11期
   引入时间参数控制工作流高效执行是工作流技术研究的重要内容之一。在工作流的Petri网模型中引入时间参数,不仅可以对工作流中的活动进行时间约束,而且能建立相应的工作流时间约束Petri网模型。文中在分析该模型的时间约束和可调度性的基础上,提出了对工作流可调度性分析验证方法及其相应的算法,最后通过一个实例说明了分析验证的过程。    

4.  基于时间约束Petri网的工作流可调度性分析  
   冯林  姜浩《微机发展》,2006年第16卷第11期
   引入时间参数控制工作流高效执行是工作流技术研究的重要内容之一。在工作流的Petri网模型中引入时间参数,不仅可以对工作流中的活动进行时间约束,而且能建立相应的工作流时间约束Petri网模型。文中在分析该模型的时间约束和可调度性的基础上,提出了对工作流可调度性分析验证方法及其相应的算法,最后通过一个实例说明了分析验证的过程。    

5.  工作流模型可调度性验证与分析方法  被引次数:2
   李建强  范玉顺《机械工程学报》,2004年第40卷第4期
   实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段,而从理论上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流模型在时间层次上需要考虑的各种时间约束的基础上,通过扩展时间信息到只描述过程逻辑的工作流网中来,给出了时控工作流网的概念。进而在给出了从一种包含时间信息的有向网络图到时控工作流网的模型映射方法之后,对基于时控工作流网的工作流模型可调度性验证与综合进行了详细的讨论。最后用一实例验证了其有效性。    

6.  基于流程挖掘的决策支持方法  
   胡海洋  张笑菲  胡华  葛季栋《计算机集成制造系统》,2013年第19卷第8期
   为了提高业务流程的执行效率,考虑工作流执行过程中存在的各种约束条件对工作流决策支持的影响,研究了如何将工作流中各种约束条件考虑在内的决策支持方法,并侧重考虑时间约束和成本约束.首先扩展了传统Petri网,研究了一种增加工作流中资源信息描述的、可扩展的业务流程表示模型——时间资源Petri网模型.在此基础上提出一种资源分配优化方法,利用业务流程中存在的多种约束条件,对使用TRPN模型表示的业务流程进行资源优化分配,以在满足当前工作流约束条件的基础上提高流程执行的效率.通过具体的实验分析,验证了所述方法的正确性和有效性.    

7.  时间约束工作流模型的简化分析与可调度性验证  被引次数:4
   庞辉  方宗德  赵勇《计算机集成制造系统》,2008年第14卷第11期
   为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.    

8.  基于资源和时间限制的多工作流网及可调度性验证  
   宋巍  窦万春《计算机应用与软件》,2007年第24卷第7期
   工作流建模阶段的验证工作对工作流的成功执行具有重要意义.首先分析了与工作流执行密切相关的资源和时间特性,考虑到工作流应用系统中总是有若干工作流并发执行,于是综合考虑结构、时间、资源限制三个层面,提出一个工作流应用系统一般性限制框架.基于该框架提出了多工作流网原型,并进一步给出了多工作流网下资源冲突和可调度性的概念,最后给出了多工作流网可调度性验证算法及其冲突解决方案.    

9.  基于层次时间Petri网的工作流模型可达性分析方法  被引次数:5
   唐达  刘丹妮《计算机集成制造系统》,2006年第12卷第4期
   为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.    

10.  基于层次时间Petri网的工作流模型可达性分析方法  被引次数:6
   唐达  刘丹妮《计算机集成制造系统》,2006年第12卷第4期
   为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.    

11.  基于工作流模型的资源配置优化方法  被引次数:7
   刘胜  范玉顺  尹朝万《计算机集成制造系统》,2005年第11卷第9期
   工作流模型在执行过程中所引用的资源数量可以被优化。当业务实例在工作流模型中的逗留时间受到约束时,假设每一活动的业务实例逗留时间服从负指数分布,给出了以资源单位时间消耗成本最小化为目标的求解最优资源数量的方法。分析了业务实例在工作流4种基本结构的逗留时间分布与在每一活动的逗留时间分布的关系,给出了业务实例在工作流模型中总逗留时间与各资源数量的关系。最后,给出了一个基于工作流模型的资源优化示例。    

12.  基于时间扩展UML活动图的工作流过程建模方法  
   《计算机集成制造系统》,2014年第7期
   为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图的工作流过程模型,并给予语义形式描述,增强了时间管理的全面性。鉴于时间复杂性,提出基于等待状态事件触发活动转移路由,解决了循环活动事件时间计算的问题。为了检验该方法的正确性、有效性和时间一致性,对Petri网时间验证方法进行了改进。通过对实例建模,验证了所提方法的合理性。    

13.  基于图形展开及图形归约的过程模型验证方法  被引次数:4
   宋宝燕  王菊英  于戈《小型微型计算机系统》,2005年第26卷第6期
   工作流过程模型是业务过程的形式化定义,在业务过程的分析、运行和重组方面起着关键性的作用.为了实现预期的业务目标,需要正确地定义工作流过程模型,它的正确性直接影响业务目标的实现,WfMS开始调度执行之前必须对其进行分析.针对大规模复杂应用的特点和业务过程执行的实际需要,对复杂工作流过程模型的正确性验证进行了研究;基于有向有环图(DCG图)详细讨论工作流过程模型的局部错误以及过程逻辑错误;给出了过程建模中避免错误的相关约束规则;另外了提出了一种新型的图形归约和图形展开相结合的验证方法及过程模型验证算法.    

14.  工作流的不确定时间建模与分析新方法  
   杜彦华  范玉顺《高技术通讯》,2008年第18卷第5期
   针对现实企业中工作流时间管理的实际需求,提出了一种多过程不确定时间的建模与分析方法:首先基于扩展模糊时间工作流网(Eb3WFN)对不确定性时间信息进行全面描述,然后构建生成图(sprouting graph)来表达Eb3WFN中实例所经过的路径和时间信息,再依据生成图进行相关问题的分析计算。该方法实用性较强,能够有效推理分析资源约束情况下多过程的不确定时间问题,而且还可通过模糊时间运算,提供活动执行情况的可能性值,作为重要的参数指导用户决策或优化工作流模型。另外,生成图建立后,可针对不同问题进行多次使用,可重用性较好。、该方法应用于某一制造企业并采用工具CPN Tools进行仿真的结果验证了其有效性。    

15.  基于时间关键路径的工作流模型优化方法  
   李海波  战德臣《机电产品开发与创新》,2005年第18卷第Z1期
   工作流模型在建模阶段不可能完全考虑到所有的情况,业务过程中深层的语义规则也不可能完全挖掘出来,工作流模型结构需要优化.执行时间是业务过程执行效率的一个重要度量,因此为了缩短工作流的平均执行时间,提出了一种对工作流平均执行时间最长的路径-关键路径的优化方法.通过分析关键路径上任务之间的依存关系,在模型建立阶段,尽可能地转换数据依存关系为控制依存关系,在工作流模型上增加选择和并行控制结构,并保证数据的一致性,最终达到优化工作流关键路径的目的.最后利用关键路径识别算法对结果进行对比分析,验证方法的有效性.    

16.  工作流模型时间有界性验证与分析研究  被引次数:17
   李建强  范玉顺《计算机集成制造系统》,2002年第8卷第10期
   对工作流模型分析进行了层次划分后,提出了工程流模型时间有界性的问题,从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后,利用绝大多数描述业务过程的工作流模型都具有自由选择性的特点,提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法,在此基础上,结合工作流模型的资源视图,详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法。    

17.  基于可替换性Petri网工作流模型合理性验证  
   时慧晶  李雄《微处理机》,2014年第3期
   所谓工作流是一类能够完全或者部分自动执行的业务过程,它根据一系列过程规则、文档、信息或任务能够在不同的执行者之间传递、执行,模型结构的合理性对于工作流来说是至关重要的。提出一种基于WF-net可替换性模型结构合理性验证方法,通过合理且安全的构造块分步构造模型,最终完成对模型的合理性验证。通过对昆明船舶设备研究试验中心的公文发文过程进行分析,利用着色时间Petri网建立工作流模型无需冗杂的计算,此方法适合于复杂工作流模型的合理性验证。    

18.  时序逻辑在有效性控制中的应用研究  
   刘磊《广东电脑与电讯》,2010年第5期
   工作流系统中的活动是与时间有着紧密联系的,如何保证恰当的活动在恰当时间被执行是工作流系统中的关键问题。探讨了如何利用时序逻辑来解决上述问题,提出了工作流系统中有效性的概念,给出了基于时序逻辑的有效性约束模型,并利用模型检测技术提供了验证有效性约束的方法,最后给出一个实例说明该方法的正确性。    

19.  扩展模糊时间工作流网的建模与仿真研究  
   杜彦华  范玉顺《计算机集成制造系统》,2007年第13卷第12期
   针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述.在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流网的多个并行流程建模方法.同时,分别讨论了扩展模糊时间工作流网模型中模糊时间和变迁触发可能性的模拟,提出了模型的仿真分析方法.最后,以某制造企业为例,采用CPN Tools进行建模和仿真分析,验证了方法的有效性.    

20.  过程建模的Petri网模型  被引次数:1
   王茜  沈潞《计算机应用与软件》,2001年第18卷第9期
   工作流管理的问题由于广泛存在于计算机应用的许多方面而迅速得到发展。本文介绍了一个以扩展的Petri网作为建模工具、以消息队列作为执行机制实现的过程管理的原型系统。该模型描述了活动的并发执行和依赖关系、活动激发的条件、事件顺序及文档管理等信息。执行该模型,在分布、异构、自治的环境中可自动监视、管理和调度工作任务,为业务过程重组、业务过程自动化提供了有力的支持。    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号