联锁软件的统一建模语言和Petri网建模

杨晋辉; 郦萌

首页> 中文期刊> 《计算机辅助工程》 >联锁软件的统一建模语言和Petri网建模

联锁软件的统一建模语言和Petri网建模

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

使用统一建模语言(unified modeling language,UML)为联锁软件建立平台无关的模型(platform independent model,PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本.UML建模包括静态结构分析和动态行为分析.Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述.

著录项

来源
《计算机辅助工程》 |2005年第2期|16-20|共5页
作者
杨晋辉; 郦萌;
展开▼
作者单位

同济大学;

计算机科学与工程系;

上海;

200092;

同济大学;

计算机科学与工程系;

上海;

200092;

展开▼
原文格式 PDF
正文语种 chi
中图分类铁路信号 ; 软件工程 ;
关键词
联锁软件; 建模; 统一建模语言 ; Petri网 ;

相似文献

中文文献
外文文献
专利

1. 基于Petri网的联锁软件测评仿真建模 [J] . 宫杰 ,陈邦兴 . 计算机应用与软件 . 2009 ,第002期
2. 基于UML和Petri网的铁路联锁软件建模 [J] . 杨晋辉 ,郦萌 . 计算机工程 . 2006 ,第011期
3. 统一建模语言状态图的Petri网模型及其分析方法 [J] . 郭峰 . 计算机集成制造系统 . 2007 ,第007期
4. 基于统一建模语言的远程康复软件系统建模 [J] . 任郁苗 ,王珏 ,张彤 . 中国康复理论与实践 . 2005 ,第003期
5. 基于UML建模的计算机联锁进路模块Petri网验证 [J] . 薛丰 ,杨扬 ,谢林 . 铁路计算机应用 . 2017 ,第004期
6. 基于多领域统一建模语言Modelica的某纯电动客车建模研究 [C] . 秦东晨 ,杨俊杰 ,陈江义 . 第十三届河南省汽车工程科技学术研讨会 . 2016
7. 基于时间有色Petri网的联锁软件的形式化建模与分析 [A] . 韩福荣 . 2007

联锁软件的统一建模语言和Petri网建模

摘要

著录项

相似文献

相关主题

期刊订阅