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

摘要：

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

关键词：铁路联锁软件、建模、UML、Petri网

所属期刊栏目：32

分类号：TU284(建筑设计)

资助基金：高等学校博士学科点专项科研项目20030247021;上海市科委资助项目035115023

在线出版日期：2006-06-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：55-57