论文部分内容阅读
随着软件系统规模和复杂性的不断增加,软件体系结构在软件开发中的作用显得越来越重要。近年来软件工程界提出了许多描述软件体系结构的方法,本文在充分研究了软件体系结构,统一建模语言UML和形式化方法等理论知识的基础上,提出了结合UML和形式化语言的方法来描述软件体系结构。文中采用了基于UML描述体系结构六视图的方法,利用Z语言对UML进行了形式化的规约描述,最后对物流管理系统和图书馆信息管理系统两个实例系统的体系结构进行了研究。