论文部分内容阅读
In this paper,a novel formal language Z is adopted to describe the state spaces of workflow process models.We construct the state space for two aspects of workflow process:control flow and resource management.The formulation proposed in this paper can guarantee the correctness of process models to some extent.At the same time,it provides a useful tool for checking the consistence of workflow process models and real processes.