基于uml的计算机联锁软件的分析与建模

有效地测试、分析和验证计算机联锁软件是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。以联锁软件的uml非形式化模型为基础,以有限状态机模型为系统形式化模型描述的数学工具,研究uml顺序图(场景)自动转化为有限状态机模型的方法。首先将场景的uml顺序图转化为fsp进程代数模型,然后通过合并不同对象的进程代数模型,得到系统的有限状态机模型。最后以接车进路用例为例生成系统的有限状态机模型,以验证该方法的可行性和有效性。