基于UML和Petri网的铁路联锁软件建模

• 作者: 杨晋辉 郦萌
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 铁路联锁软件 建模 UML Petri网
• 年，卷（期）: 2006,（11）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 55-57
• 页数: 3页
• 分类号: TU284
• 字数: 4150字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.11.021

摘要

在异种嵌入式平台上,采用统一建模语言UML,可为铁路联锁软件建立平台无关模型,从而改进软件的开发和复用.UML适用于软件的静态结构和简单场景下的动态行为的建模.为保证其安全性,采用了Petri网作为补充,对复杂的动态行为和约束规则,在模型中加入了精确和严格的形式化描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨晋辉	同济大学计算机科学与工程系	4	31	3.0	4.0
2	郦萌	同济大学计算机科学与工程系	18	229	9.0	15.0