UML-Statecharts相关论文
工作流模型验证已经成为工作流的重要研究领域之一，工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts......
工作流模型验证成为工作流的重要研究领域之一。控制结构的正确性是工作流过程所需达到的最基本要求，本文着重控制结构方面的验证。......
