| 基于UML和Petri网的铁路联锁软件建模 |
| |
| 引用本文： | 杨晋辉,郦萌.基于UML和Petri网的铁路联锁软件建模[J].计算机工程,2006,32(11):55-57. |
| |
| 作者姓名： | 杨晋辉 郦萌 |
| |
| 作者单位： | 同济大学计算机科学与工程系,上海,200092 |
| |
| 基金项目： | 高等学校博士学科点专项科研项目;上海市科委资助项目 |
| |
| 摘 要： | 在异种嵌入式平台上，采用统一建模语言UML，可为铁路联锁软件建立平台无关模型，从而改进软件的开发和复用。UML适用于软件的静态结构和简单场景下的动态行为的建模。为保证其安全性，采用了Petri网作为补充，对复杂的动态行为和约束规则，在模型中加入了精确和严格的形式化描述。
|
| 关 键 词： | 铁路联锁软件 建模 UML Petri 网 |
| 文章编号： | 1000-3428（2006）11-0055-03 |
| 收稿时间： | 08 9 2005 12:00AM |
| 修稿时间： | 2005-08-09 |
Research on Railway Interlocking Software Modeling Based on UML and Petri Net |
| |
| YANG Jinhui,LI Meng.Research on Railway Interlocking Software Modeling Based on UML and Petri Net[J].Computer Engineering,2006,32(11):55-57. |
| |
| Authors: | YANG Jinhui LI Meng |
| |
| Affiliation: | Department of Computer Science and Engineering, Tongji University, Shanghai 200092 |
| |
| Abstract: | |
| |
| Keywords: | UML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
