基于虚拟执行的动态工作流演进算法

为实现工作流管理系统中工作流演进的控制,解决流程实例动态调整的问题,给出工作流模型相关定义的形式化表示及正确性标准,提出基于数据流相关信息历史记录的虚拟执行算法,适用于模型结构变化及模型存在循环结构等情况.该算法能判断流程实例能否迁移,通过回退和撤销的策略保证工作流实例快速迁移.具体应用实例证明了迁移算法的正确性与可行...     

一种支持工作流动态修改并自动迁移的方法

工作流技术中一个重要而开放的问题就是工作流的演进问题（evolution of workflow Schemas）,即创建、删除、修改工作流过程并使整个模型保持正确.被修改工作流过程的实例必须尽量与新的工作流过程保持一致.本文提出了一种支持工作流动态修改并完成实例自动迁移的工作流模型,并在此基础上定义了一系列修改操作原语及动态迁移策略语言.根据修改操作原语所涉及的任务节点的偏序关系生成变化区域,再根据变化区域自动生成相应的迁移策略,这样各工作流实例就可以按照迁移策略自动地实现迁移.     

一种处理工作流动态变更的有效方法

本文探讨了一种处理工作流动态变更的方法.首先介绍了几种常见的处理工作流变更的方法.然后提出了一种工作流实例迁移算法.算法根据工作流实例迁移后有向边的值来确定该实例能否正确迁移.最后给出了一个实例以验证算法的有效性.     

基于移动计算范型的迁移工作流研究

迁移工作流是近年来工作流管理研究的一个新方向，但它缺乏明确的模型定义和迁移域管理机制．该文针对上述问题，首先参照移动计算范型给出了迁移工作流的概念定义，然后提出了一个基于停靠站的迁移工作流管理系统结构，讨论了其中的停靠站和迁移实例组成、迁移域管理与迁移寻址方法、基于体系结构的迁移实例生命周期过程等，最后给出了一个实验例．示例表明，该文提出的迁移工作流模型和迁移体系结构，概念清晰，易构造且易管理．     

基于本体的迁移工作流服务模型研究

针对迁移工作流服务语义共享的特点，基于本体论，提出一种迁移工作流服务模型。该模型通过工作流元本体为迁移实例和各站点提供统一的工作流服务语义。在此基础上，通过服务本体描述和组织迁移工作流服务，实现服务发现。该模型较好地实现了迁移实例与各站点间的语义共享。     

基于Petri网模型的工作流实例迁移算法

工作流实例迁移是工作流演化研究中的一个重要问题.目前,大部分的工作流实例迁移策略是基于版本控制的,工作流实例不能及时迁移到新模型中运行.分析了工作流实例迁移过程中所存在的动态变更错误,并结合自由选择网的经典理论,提出了一种基于Petri网模型的工作流实例迁移算法.根据工作流实例迁移后的状态可达性,来确定该实例能否正确迁移,算法的时间复杂度是多项式的.     

工作流演进变化中迁移策略的自动生成

工作流演进变化中一个重要问题就是如何实现工作流实例的迁移问题。提出了一种支持演进变化的工作流过程模型及相关的实例模型和修改模型，并在此基础上提出了一种新的迁移策略。该策略中每个节点的迁移规则根据工作流模型修改点与实例执行路径的关系确定相应的迁移动作。此外，还提出了一个根据工作流模型修改点的偏序关系自动生成各节点迁移规则的算法。     

基于Shark的工作流日志迁移研究及其实现

工作流日志数据中可能记录着非常有价值的信息,它们对于流程优化和工作流挖掘具有重要意义.然而,传统工作流系统缺乏对工作流日志迁移的有效支持.基于对工作流日志数据的分析,提出了一种支持日志迁移的分布式工作流系统框架.该框架通过工作流实例数据与历史数据的分离,以实现工作流日志数据的分布式管理.基于开源工作流Shark,通过扩展WfMC相关接口,给出了该框架的实现方案.     

迁移工作流管理中的过程完整性控制算法

在研究基于任务片的迁移工作流网络和执行模式的基础上,提出迁移工作流过程完整性控制算法。该算法采用本地恢复和迁移恢复相结合实现任务片的完整性,通过迁移实例派生机制保证整个迁移工作流过程的执行完整性。实例证明该算法可以实现迁移工作流过程完整性的有效控制。     

面向目标的迁移工作流研究

传统的迁移工作流系统为迁移实例编写面向过程的工作流说明并驱动其工作,这种方法限制了迁移实例的灵活性。该文提出面向目标的迁移工作流的概念,定义相应的概念模型,给出基于BDI体系的迁移实例结构,使得迁移实例可以产生令工作流状态向目标转移的信念、愿望、意图和行为。相比传统的工作流方法,该概念模型和迁移机制能够灵活地处理工作流环境中的变化和根据工作流状态进行智能决策,具有目标驱动的特性。     

一种基于虚拟执行规则的工作流实例迁移方法

在基于形式化的工作流模型和具有历史执行记录的工作流实例定义基础上，给出了一个全面的、正确的工作流实例迁移判断标准，并且依据此判断标准提出了虚拟执行规则和迁移算法。与同类研究工作比较，该方法在适用性、正确性和可实现性等方面具有一定的先进性。     

多实例工作流模式的π演算形式化

多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究，提出了以π演算作为工作流形式化的基础，利用π演算对多实例工作流模式进行了详细的描述。     

基于Pass和Visa的迁移实例认证研究

在迁移工作流管理系统中,迁移实例的移动性导致了身份认证和访问控制的复杂性。该文给出一种基于Pass和Visa的迁移实例认证和访问控制模型,模型采用迁移实例拥有者为其颁发护照、接收者为其签证的双重签名策略。接收者通过对迁移实例携带护照和签证的认证,可以有效识别迁移实例的身份并对其实施访问控制。迁移实例拥有者可根据Visa证书链有效追踪迁移实例的移动历史。     

分布式工作流系统的可扩展性和柔性研究

工作流管理系统为企业中不同部门之间的协作以及不同应用之间的集成提供了 一个功能强大的计算环境．在当前工作流技术的研究领域中,分布式工作流系统逐渐成为研 究的热点,而系统的可扩展性和柔性是分布式工作流系统成功实施的两个重要因素．本文介 绍了相关的领域概念、系统结构、过程实例的执行以及全局控制机制,提出了一种基于企业 功能领域划分的、具有高度可扩展性和柔性的分布式工作流系统的设计和实施方案．     

快速扩散制造中的工作流管理技术

针对武器装备快速扩散制造的效率问题,以军工产品的扩散制造为实例背景,提出一种支持快速扩散制造的工作流管理技术,包括工作流建模技术、工作流运行控制技术和工作流系统实现方法,采用Petri网建模方法和基于Web的工作流引擎技术。阐明扩散制造中工作流管理系统的体系结构。结果证明其在提高军工产品制造效率方面效果良好。     

担保业务管理系统工作流的Petri网建模

应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对担保业务管理系统工作流进行有效的分析和验证,从而为担保业务管理系统工作流分析提供了理论基础。     

迁移工作流系统中迁移实例的路径规划研究

提出了基于导航树的迁移实例路径规划模型,详细描述了迁移实例的寻径过程,给出了导航树的自维护管理机制,使导航树能根据工作流网络中停靠站的变化动态地完成导航知识的更新维护;同时由于停靠站的变更信息只在本域内交互,大大减少了迁移工作流网络的信息流量,特别适合于大型、停靠站点变更频繁的跨组织工作流服务。企业订单实例表明,引入导航树路径规划机制可以使迁移实例获得更有针对性的迁移路线,避免盲目迁移。     

基于任务片的旅行图生成算法研究

在迁移工作流模型中,迁移实例是工作流的执行主体,它可以在旅行图规定的工作位置之间连续迁移并利用位置服务完成一项或多项任务。给出一种基于任务片的旅行图生成算法,任务片是指可以在同一个工作位置上连续执行的任务序列。按照任务片组织旅行图,不仅有利于保证业务过程的执行语义,而且可以通过减少迁移次数,降低移动故障和移动安全导致的风险。