摘要
通过分析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.
出处
《计算机工程与科学》
CSCD
北大核心
2013年第1期100-106,共7页
Computer Engineering & Science
基金
湖南省教育厅基金资助项目(29030523)
怀化学院资助科研项目(基于B方法的UML转换机制研究)
关键词
体系结构描述语言
B方法
事件
形式化
architecture description language
B method
event
formalism