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

作     者：武晓春 高雪娟 WU Xiao-chun;GAO Xue-juan

作者机构：兰州交通大学自动化与电气工程学院兰州730070 

基　　金：基于受控拉格朗日函数的多欠驱动度力学系统控制器设计(61164010)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2014年第41卷第2期

页      码：222-225页

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

主 题 词：联锁软件 UML 顺序图 FSP 有限状态机 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2014.02.048

馆 藏 号：203141158...