| 基于UML-OCPN的嵌入式系统建模 |
| |
| 引用本文： | 赵莉苹,张海涛.基于UML-OCPN的嵌入式系统建模[J].计算机工程,2009,35(20):56-58. |
| |
| 作者姓名： | 赵莉苹 张海涛 |
| |
| 作者单位： | 河南科技大学电子信息工程学院,洛阳,471003 |
| |
| 摘 要： | 针对统一建模语言（UML）缺乏精确的形式化的语义描述而不能对其所建模型进行分析和验证的难题,提出一种改进的建模方法——UML-OCPN方法。该方法结合UML和对象着色Petri网（OCPN）的优点,使用UML进行建模,将其转换为Petri网模型再进行模型验证。实验结果证明,该方法能较好地解决单一使用UML或Petri网建模时出现的无法进行验证、需要开发人员具备较高数学水平等问题。
|
| 关 键 词： | 统一建模语言 Petri网 嵌入式系统 建模 |
| 修稿时间： | |
Modeling of Embedded System Based on UML-OCPN |
| |
| ZHAO Li-ping,ZHANG Hai-tao.Modeling of Embedded System Based on UML-OCPN[J].Computer Engineering,2009,35(20):56-58. |
| |
| Authors: | ZHAO Li-ping ZHANG Hai-tao |
| |
| Affiliation: | (Electronic Information Engineering College, Henan University of Science and Technology, Luoyang 471003) |
| |
| Abstract: | |
| |
| Keywords: | Unified Modeling Language(UML) Petri nets embedded system modeling |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
