一种基于UML活动图的工作流模式描述与验证方式

随着工作流技术应用的越来越广泛，对于工作流技术的要求也越来越高。而工作流模型的好坏对于整个工作流管理系统性能来说意义重大。在这里，引入了UML活动图来对工作流模式进行描述，并提出图论中的邻接矩阵和Warshall算法来进行验证的方法，这为开发健壮的、合理的大型工作流系统提供了很好的描述方法与验证方式。