UML—Statecharts 相关硕士博士期刊学术论文 - 信丰网

UML—Statecharts相关论文

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

工作流模型验证已经成为工作流的重要研究领域之一，工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts......

期刊

工作流 UML—Statecharts 模型检测时序约束一致性 Workflow UML-statecharts Model checking Tempo

看过本文同时还关注