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

• 作者: 武晓春 高雪娟
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 联锁软件 UML 顺序图 FSP 有限状态机
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 222-225
• 页数: 4页
• 分类号: TP311.5
• 字数: 3856字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	武晓春	兰州交通大学自动化与电气工程学院	50	190	8.0	12.0
2	高雪娟	兰州交通大学自动化与电气工程学院	4	46	4.0	4.0