形式化与UML结合的建模方法及其应用  

Combination of Formalization and UML Modeling Method and its Application

作　　者：舒良春[1] 肖美华[1] SHU Liang-chun, XIAO Mei-hua （Computing Center, Nanchang University, Nanchang 330031, China）

机构地区：[1]南昌大学计算中心,江西南昌330031

出　　处：《电脑知识与技术》2009年第7期5167-5169,共3页Computer Knowledge and Technology

基　　金：2008年江西省研究生创新专项资金省教育厅资助项目-网络协议安全性分析及支撑工具研究（YC08A032）

摘　　要：首先阐述了形式化方法与可视化方法的优缺点，并在此基础上提出软件体系结构形式化与可视化UML互补的建模方法，主要探讨UML和Z结合的建模过程，并用一个系统开发实例进行展示。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.

关 键 词：UML Z 形式化方法 软件体系结构建模 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]