统一建模语言(United Modeling Language, UML)是一种描述功能强大且含义直观的可视化建模语言,它提供了多种图元,能够从不同角度......

为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑（propositional projection temporal logic,简称PPTL）......

为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析......