| 基于UML和Petri网的建模及其验证 |
| |
| 引用本文： | 马超,林红昌,丁佐华. 基于UML和Petri网的建模及其验证[J]. 浙江理工大学学报, 2010, 27(6) |
| |
| 作者姓名： | 马超 林红昌 丁佐华 |
| |
| 摘 要： | 为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。
|
| 关 键 词： | UML Petri网 Promela语言 建模 验证 |
Modeling and Verification Based on UML and Petri Net |
| |
| MA Chao,LIN Hong-chang,DING Zuo-hua. Modeling and Verification Based on UML and Petri Net[J]. Journal of Zhejiang Sci-tech University, 2010, 27(6) |
| |
| Authors: | MA Chao LIN Hong-chang DING Zuo-hua |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
