【出 处】：《 计算机工程与科学 》 CSCD 2013年第35卷第1期 100-106页,共7页

【作 者】： 丁湘陵 [1] ; 王志刚 [2]

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