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

Workflow Modeling Based on the Extended Task Structure and Its Soundness Verification

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

Task structure is a good general representative of workfiow modeling languages. It has the advantages of compact representation, implicit termination and similar workflow modeling languages used by today＇s leading workflow management systems. But its expressive power and analysis capability are limited. At first we extend the expressive power of the task structure such that it can support data flow between tasks, and then we analyze and verify the soundness of the extended task structure.