一种基于扩展任务结构的工作流实例迁移方法(英文)

工作流实例迁移是工作流演化研究中典型而重要的问题.在基于扩展任务结构的工作流定义的基础上,提出了适用于一般动态变化处理的实例迁移规则、条件和算法.与同类研究工作比较,该方法在适用范围、通用性、正确性和可实现能力等方面具有一定的先进性.

基于扩展任务结构的工作流建模及其合理性验证

任务结构是工作流建模语言中好的广泛的代表,并且具有表达简洁、终止是隐式的以及与多数工作流管理系统的工作流建模语言相近的特点,但其表达能力和形式化分析有限。本文首先扩展了任务结构的表达能力,增加了对任务间数据流的支持;然后对扩展任务结构的合理性进行了分析和验证。