Workflow Modeling Based on the Extended Task Structure and Its Soundness Verification
Zhuo Qi Chen · Computer Engineering and Science · 2006
Task structure is a good general representative of workflow 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.