基于扩展任务结构的工作流建模及分析

摘要

任务结构是工作流管理系统中常用来进行工作流建模的语言,但其核心是过程控制流方面的规范,对其他方面很少涉及,比如活动间的信息流、时间约束等等.本文首先对任务结构进行了扩展,加入了资源和多粒度时间的概念,使其除了能描述任务的相关性外,也能很好地模拟任务间的信息流以及由于流程的分布性等因素而引起的多粒度时间约束.接下来对扩展任务结构的多粒度时间约束一致性和合理性进行了分析和验证。