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

摘要：

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

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

所属期刊栏目：5

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2009-09-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：5167-5169