10.3969/j.issn.1007-130X.2006.07.029
基于扩展任务结构的工作流建模及其合理性验证
任务结构是工作流建模语言中好的广泛的代表,并且具有表达简洁、终止是隐式的以及与多数工作流管理系统的工作流建模语言相近的特点,但其表达能力和形式化分析有限.本文首先扩展了任务结构的表达能力,增加了对任务间数据流的支持;然后对扩展任务结构的合理性进行了分析和验证.
工作流建模、扩展任务结构、合理性验证
28
TP311(计算技术、计算机技术)
2006-07-07(万方平台首次上网日期,不代表论文的发表时间)
共4页
91-94