计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
11期
55-57
,共3页
铁路联锁软件%建模%UML%Petri网
鐵路聯鎖軟件%建模%UML%Petri網
철로련쇄연건%건모%UML%Petri망
在异种嵌入式平台上,采用统一建模语言UML,可为铁路联锁软件建立平台无关模型,从而改进软件的开发和复用.UML适用于软件的静态结构和简单场景下的动态行为的建模.为保证其安全性,采用了Petri网作为补充,对复杂的动态行为和约束规则,在模型中加入了精确和严格的形式化描述.
在異種嵌入式平檯上,採用統一建模語言UML,可為鐵路聯鎖軟件建立平檯無關模型,從而改進軟件的開髮和複用.UML適用于軟件的靜態結構和簡單場景下的動態行為的建模.為保證其安全性,採用瞭Petri網作為補充,對複雜的動態行為和約束規則,在模型中加入瞭精確和嚴格的形式化描述.
재이충감입식평태상,채용통일건모어언UML,가위철로련쇄연건건립평태무관모형,종이개진연건적개발화복용.UML괄용우연건적정태결구화간단장경하적동태행위적건모.위보증기안전성,채용료Petri망작위보충,대복잡적동태행위화약속규칙,재모형중가입료정학화엄격적형식화묘술.
