• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2013, Vol. 35 ›› Issue (1): 100-106.

• 论文 • 上一篇    下一篇

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

丁湘陵1,王志刚2   

  1. (1.怀化学院物理与信息工程系,湖南 怀化 418008;2.湖南师范大学数学与计算机学院,湖南 长沙 410081)
  • 收稿日期:2011-11-02 修回日期:2012-02-23 出版日期:2013-01-25 发布日期:2013-01-25
  • 作者简介:丁湘陵(1981),男,湖南株洲人,硕士,讲师,研究方向为软件体系结构和形式化方法。
  • 基金资助:

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

Research on formalism of architecture description language based on B method    

DING Xiangling1,WANG Zhigang2   

  1. (1.Department of Physics and Information Engineering,Huaihua College,Huaihua 418008;
    2.College of Mathematics & Computer Sciense,Hunan Normal University,Changsha 410081,China)
  • Received:2011-11-02 Revised:2012-02-23 Online:2013-01-25 Published:2013-01-25

摘要:

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

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

Abstract:

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.

Key words: architecture description language;B method;event;formalism