论文部分内容阅读
提出了一种将以活动网络图描述的工作流模型转换为CCS的思想，利用CCS描述了工作流模型的6种基本逻辑关系，进而将整个工作流模型转化为动程表达式，从而为工作流模型提供了严格的形式化基础。并在此基础上给出了工作流模型正确性的3个约束条件，讨论了带循环的工作流模型的正确性验证，并提出了验证工作流模型结构正确性的方法的步骤。