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

摘要：

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

关键词： 多粒度时间约束 工作流建模 扩展任务结构 验证 时间约束

作者: 邢光林 洪帆 朱贤

作者单位: 华中科技大学计算机科学与技术学院,湖北,武汉,430074

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 105-109

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）