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

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

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

丁湘陵1，王志刚2

（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.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

摘要/Abstract

摘要：

通过分析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

丁湘陵1，王志刚2 . 基于B方法的体系结构描述语言的形式化研究[J]. J4, 2013, 35(1): 100-106.

DING Xiangling1,WANG Zhigang2. Research on formalism of architecture description language based on B method [J]. J4, 2013, 35(1): 100-106.

[1]	张远洋, 贡正仙, 孔芳. 增强依存结构表达的零样本跨语言事件论元角色分类[J]. 计算机工程与科学, 2024, 46(03): 508-517.
[2]	胡庆孟, 王红斌, 王俊钟. 基于NPN融入词性注意力机制的中文事件探测[J]. 计算机工程与科学, 2023, 45(08): 1490-1497.
[3]	刘永梅, 王国辉, 关永, 张景芝, 施智平, 董璐. 格林定理的形式化及其初步应用[J]. 计算机工程与科学, 2023, 45(07): 1178-1187.
[4]	濮子俊, 张寿明. 基于特征融合与Transformer模型的声音事件定位与检测算法研究[J]. 计算机工程与科学, 2023, 45(06): 1097-1105.
[5]	杜洁, 骆力明, 孙众. 基于ALBERT预训练模型的事件抽取技术研究[J]. 计算机工程与科学, 2023, 45(04): 711-717.
[6]	吕鹤轩, 黄山, 艾力卡木·再比布拉, 吴思衡, 段晓东, . Flink水位线动态调整策略[J]. 计算机工程与科学, 2023, 45(02): 237-245.
[7]	杨昊, 赵刚, 王兴芬. 基于混合模型的事件触发词抽取[J]. 计算机工程与科学, 2023, 45(01): 171-180.
[8]	左正康, 梁赞杨, 苏崴, 黄箐, 王渊, 王昌晶. 序列折半划分问题的形式化推导[J]. 计算机工程与科学, 2022, 44(06): 1063-1071.
[9]	杨慧慧, 方贤文, 邵叱风. 基于Petri网的并发事件流程模型修复分析[J]. 计算机工程与科学, 2021, 43(10): 1773-1780.
[10]	韩哲, 姜晶菲, 乔林波, 窦勇, 许金伟, 阚志刚. 基于FPGA的事件抽取模型与加速器的设计实现[J]. 计算机工程与科学, 2020, 42(11): 1941-1948.
[11]	崔莹. 基于相似义原和依存句法的政外领域事件抽取方法[J]. 计算机工程与科学, 2020, 42(09): 1632-1639.
[12]	魏优, 刘茂福, 胡慧君, . 基于深层语境词表示与自注意力的生物医学事件抽取[J]. 计算机工程与科学, 2020, 42(09): 1670-1679.
[13]	王思齐, 胡婧韬, 余广, 祝恩, 蔡志平. 智能视频异常事件检测方法综述[J]. 计算机工程与科学, 2020, 42(08): 1393-1405.
[14]	郑小宇, 刘冬梅, 杜益宁, 周子健, 邱玫媚, 朱鸿. 模式驱动的系统安全性设计的验证[J]. 计算机工程与科学, 2020, 42(07): 1197-1207.
[15]	张晶, 袁振宇. 基于增广混合Petri网的CPS事件建模[J]. 计算机工程与科学, 2020, 42(03): 550-556.