基于B方法的体系结构描述语言的形式化研究  

Research on formalism of architecture description language based on B method

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

机构地区：[1]怀化学院物理与信息工程系,湖南怀化418008 [2]湖南师范大学数学与计算机学院,湖南长沙410081

出　　处：《计算机工程与科学》2013年第1期100-106,共7页Computer Engineering & Science

基　　金：湖南省教育厅基金资助项目(29030523);怀化学院资助科研项目(基于B方法的UML转换机制研究)

摘　　要：通过分析B方法和软件体系结构描述语言ABC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于B方法的ABC/ADL能够形式化描述软件体系结构的结构和行为。By analyzing the features of B method and software architecture description language ABC/ADL, this paper proposes a formal software method combining B method and ABC/ADL. The method utilizes the extended event mechanism of B method, defines components, connectors, behavior specification, behavior constraints and constraints instances of the Architecture description language ABC/ADL, and then makes the B method based ABC/ADL be able to formally describe the structure and behavior of the software architecture.

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

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]