| 形式化与UML结合的建模方法及其应用 |
| |
| 引用本文： | 舒良春,肖美华. 形式化与UML结合的建模方法及其应用[J]. 数字社区&智能家居, 2009, 0(19) |
| |
| 作者姓名： | 舒良春 肖美华 |
| |
| 作者单位： | 南昌大学计算中心; |
| |
| 基金项目： | 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, 0(19) |
| |
| 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 for-word 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 |
| 本文献已被 CNKI 等数据库收录！ |
