摘要：通过分析B方法和软件体系结构描述语言ABC／ADL各自的特点，提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制，定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约，并给出了规约实例，从而使得基于B方法的ABC／ADL能够形式化描述软件体系结构的结构和行为。

关键词：体系结构描述语言 b方法 事件 形式化 

单位：怀化学院物理与信息工程系 湖南怀化418008 湖南师范大学数学与计算机学院 湖南长沙410081