软件体系结构建模研究

摘要

提出了软件体系结构工程的概念，建立了软件体系结构生命周期模型，并对软件体系结构进行了分类和建模，介绍了几种典型的软件体系结构语言，提出了一个基于时序逻辑的形式化体系结构语言——ＸＹＺ／ＳＡＥ．该语言可作为系列化时序逻辑语言族ＸＹＺ／Ｅ的子语言，支持对软件体系结构中构件、连接件和配置的描述，并可在统一的框架下描述软件体系结构的静态行为和动态行为．