伴随着计算机软件系统的规模和复杂程度的提高,软件系统的结构变得日益复杂,软件设计重心从“算法+数据结构”设计转变成为体系结构设计。软件体系结构已经成为决定软件系统质量的重要因素,是软件产品线开发的关键技术之一,并因此成为当前软件工程领域的一个研究热点。 体系结构描述语言(ADL,Architecture Description Language)是软件体系结构研究的核心问题之一。它不但是形式化描述软件体系结构的基本工具,而且也是对软件体系结构进行求精、验证、演化和分析的前提和基础。在最近一段时期,人们已经提出了很多用于体系结构建模的体系结构描述语言。基于这些已经开发的体系结构描述语言,Medvidovic和Taylor提出了一种体系结构规约语言分类和比较的框架,详细分析了十种体系结构规约语言存在的优点和不足,他们指出现有体系结构规约语言通常都提供形式化的标记符号描述构件、连接件和系统配置,提供工具支持体系结构的分析和可视化,然而在体系结构精化、动态体系结构、体系结构分析和体系结构实现等方面存在不足,研究和支持甚少。 据此,选择缺乏形式化语义基础的体系结构描述语言ABC/ADL,使用经过事件机制扩展的形式化方法B方法对ABC/ADL语言进行精确描述,提出了构件、连接子观察模型,基于观察模型分析了体系结构并提出构件、连接子的定义。其中重点研究了基于软件体系结构描述语言的构件和连接子的精化方法,通过将ABC/ADL描述的构件或者连接子初始观察模型进行更深层次的精化达到可执行代码,通过实例数据库系统的建模、描述和精化来说明这种方法的可行性。最后进行了总结和展望。