%0 Journal Article
%T 软件体系结构建模研究
%A 周莹新？
%A 艾波？
%J 软件学报
%P 866-872
%D 1998
%X 提出了软件体系结构工程的概念,建立了软件体系结构生命周期模型,并对软件体系结构进行了分类和建模,介绍了几种典型的软件体系结构语言,提出了一个基于时序逻辑的形式化体系结构语言——xyz/sae.该语言可作为系列化时序逻辑语言族xyz/e的子语言,支持对软件体系结构中构件、连接件和配置的描述,并可在统一的框架下描述软件体系结构的静态行为和动态行为.
%K 软件体系结构
%K 软件体系结构建模
%K 软件体系结构建模语言
%K 时序逻辑
%K 构件
%K 连接件.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19981113&flag=1