UML与Z结合的建模过程及其应用  

Modeling Process and its Application Based on UML and Z

作　　者：祝义[1] 张永常[2] 张广泉[3] 黄志球[1] 

机构地区：[1]南京航空航天大学信息科学与技术学院,南京210016 [2]徐州师范大学计算机科学与技术学院,徐州221116 [3]苏州大学计算机科学与技术学院,苏州215006

出　　处：《计算机科学》2007年第5期273-276,共4页Computer Science

基　　金：中国科学院计算机科学国家重点实验室开放课题(SYSKF0303)"软件体系结构求精及其验证技术研究";江苏省高校自然科学研究项目(编号05KJB520119);重庆市科学技术研究项目(040803)"软件体系结构设计方法与工具研究"

摘　　要：软件体系结构建模是软件设计过程中的关键环节,论文首先讲述了目前工业界面临的一些问题,指出在软件体系结构建模过程中引入形式化方法的必要性,然后提出了UML与Z结合的建模过程,最后通过一个实例来描述它的应用。Modeling software architecture is a key part in designing software. Firstly, this paper describes some problems in software industry, and points out it is necessary to apply formal methods in modeling software architecture. Then a method of modeling process based on UML and Z is proposed. Finally,an instance is realized for describing the whole process.

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

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]