关键词: 工作流建模 扩展任务结构 合理性验证

Abstract:

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 limit   ted. 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.

Key words: workflow modeling extended task structure, soundness verification