| 形式化与UML结合的建模方法及其应用 |
| |
| 引用本文： | 舒良春,肖美华.形式化与UML结合的建模方法及其应用[J].数字社区&智能家居,2009,5(7):5167-5169. |
| |
| 作者姓名： | 舒良春 肖美华 |
| |
| 作者单位： | 南昌大学计算中心,江西南昌330031 |
| |
| 基金项目： | 2008年江西省研究生创新专项资金省教育厅资助项目-网络协议安全性分析及支撑工具研究（YC08A032） |
| |
| 摘 要： | 首先阐述了形式化方法与可视化方法的优缺点，并在此基础上提出软件体系结构形式化与可视化UML互补的建模方法，主要探讨UML和Z结合的建模过程，并用一个系统开发实例进行展示。
|
| 关 键 词： | UML Z 形式化方法 软件体系结构建模 |
Combination of Formalization and UML Modeling Method and its Application |
| |
| SHU Liang-chun,XIAO Mei-hua.Combination of Formalization and UML Modeling Method and its Application[J].Digital Community & Smart Home,2009,5(7):5167-5169. |
| |
| Authors: | SHU Liang-chun XIAO Mei-hua |
| |
| Affiliation: | (Computing Center, Nanchang University, Nanchang 330031, China) |
| |
| Abstract: | First of all, express the advantages and disadvantages of the formalization and visualization methods, then based on this, bring forword the software architecture method , focused on the modeling process of the combination of UML and Z , and finally use an example to display. |
| |
| Keywords: | UML Z formalization methods software architecture modeling |
| 本文献已被 维普 等数据库收录！ |
