时间uml-statecharts建模的工作流时序约束的一致性验证

工作流模型验证已经成为工作流的重要研究领域之一，工作流模型的时间正确性的验证也越来越受到关注。本文通过对于uml-statecharts进行时间扩展，建立工作流的时间模型，再把该模型转化为时间自动机，最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证，检查是否存在相冲突的时序约束。