软件体系结构建模研究

被引:49
作者
周莹新
艾波
机构
[1] 北京邮电大学计算机科学与技术学院
关键词
软件体系结构,软件体系结构建模,软件体系结构建模语言,时序逻辑,构件,连接件;
D O I
10.13328/j.cnki.jos.1998.11.013
中图分类号
TP311, [];
学科分类号
摘要
提出了软件体系结构工程的概念,建立了软件体系结构生命周期模型,并对软件体系结构进行了分类和建模,介绍了几种典型的软件体系结构语言,提出了一个基于时序逻辑的形式化体系结构语言——XYZ/SAE.该语言可作为系列化时序逻辑语言族XYZ/E的子语言,支持对软件体系结构中构件、连接件和配置的描述,并可在统一的框架下描述软件体系结构的静态行为和动态行为.
引用
收藏
页码:67 / 73
页数:7
相关论文
empty
未找到相关数据