论文部分内容阅读
为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法。针对基于有向图工作流模型的不足,提出了扩展有向图工作流模型,并给出了该模型的定义和图形符号描述。在用Pi-演算准确描述扩展有向图工作流模型的基础上,给出了用Pi-演算分析和验证扩展有向图工作流模型正确性的方法。最后,结合实验对扩展有向图工作流模型及验证方法进行了仔细分析,实验结果表明了该工作流模型及验证方法的有效性和正确性。