10.3969/j.issn.1006-0871.2005.02.004
联锁软件的统一建模语言和Petri网建模
使用统一建模语言(unified modeling language,UML)为联锁软件建立平台无关的模型(platform independent model,PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本.UML建模包括静态结构分析和动态行为分析.Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述.
联锁软件、建模、统一建模语言、Petri网
14
U284;TP311.5(铁路通信、信号)
上海市科委资助项目035115023;高等学校博士学科点专项科研项目20030247021
2005-08-25(万方平台首次上网日期,不代表论文的发表时间)
共5页
16-20