| 基于UML的计算机联锁软件的分析与建模 |
| |
| 引用本文： | 武晓春,高雪娟.基于UML的计算机联锁软件的分析与建模[J].计算机科学,2014,41(2):222-225. |
| |
| 作者姓名： | 武晓春 高雪娟 |
| |
| 作者单位： | 兰州交通大学自动化与电气工程学院 兰州730070;兰州交通大学自动化与电气工程学院 兰州730070 |
| |
| 基金项目： | 本文受基于受控拉格朗日函数的多欠驱动度力学系统控制器设计(61164010)资助 |
| |
| 摘 要： | 有效地测试、分析和验证计算机联锁软件是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。以联锁软件的UML非形式化模型为基础,以有限状态机模型为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为有限状态机模型的方法。首先将场景的UML顺序图转化为FSP进程代数模型,然后通过合并不同对象的进程代数模型,得到系统的有限状态机模型。最后以接车进路用例为例生成系统的有限状态机模型,以验证该方法的可行性和有效性。
|
| 关 键 词： | 联锁软件 UML 顺序图 FSP 有限状态机 |
| 收稿时间： | 2013/4/27 0:00:00 |
| 修稿时间： | 2013/10/8 0:00:00 |
Analysis and Modeling of Computer Interlocking Software Based on UML |
| |
| WU Xiao-chun and GAO Xue-juan.Analysis and Modeling of Computer Interlocking Software Based on UML[J].Computer Science,2014,41(2):222-225. |
| |
| Authors: | WU Xiao-chun and GAO Xue-juan |
| |
| Affiliation: | School of Automation and Electrical Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China;School of Automation and Electrical Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China |
| |
| Abstract: | |
| |
| Keywords: | Interlocking software UML Sequence diagram FSP Finite process machine |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
