[1]高丽萍 褚伟.基于B方法的组件开发[J].计算机技术与发展,2007,(07):28-30.
　GAO Li-ping,CHU Wei.An Approach of Component Development with B Method[J].,2007,(07):28-30.
点击复制

基于B方法的组件开发()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2007年07期
页码:
28-30
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
An Approach of Component Development with B Method
文章编号:
1673-629X（2007）07-0028-03
作者:
高丽萍1 褚伟2
[1]合肥工业大学计算机与信息学院[2]合肥工业大学网络研究所
Author(s):
GAO Li-ping;  CHU Wei
[1]School of Computer and Information, Hefei University of Technology[2]Institute of Network, Hefei University of Technology
关键词:
形式化方法; B方法; 组件
Keywords:
formal method;  B method： component
分类号:
TP311.52
文献标志码:
A
摘要:
现有的组件开发技术的规格说明是非形式化的，这导致了逻辑的非严密性和理解的歧义性，将会严重影响组件复用的效率。B方法是形式化方法之一，已经有功能强大的工具支持软件的形式化开发过程，它通过严格的数学推导和证明来保证软件设计和代码的正确性。为此，将B方法应用于学生信息管理系统的开发，提供了学生组件从需求规格说明、精化到最终实现的开发过程。通过对这一实例的研究可以看出，B方法增强了组件的规范性，对于提高组件复用的可靠性有重大的意义
Abstract:
The fact that current specifications of component development are unformal results in logical non - rigor and comprehensive ambiguity, and it will affect the efficiency of components＇ reusing seriously. B method is one of formal methods, which supports the software development by the strong tool and guarantee the correctness of software＇ s design and code via strict deduction and certification. For this reason, this paper applies B method to the development of student information management system. This method provides the developing procedure of student component that ranges from abstract specifications to the implementatlons. Through the research on this ease, conclude that B method improves the formalization of specification and reliability of components＇ reusing

相似文献/References:

[1]廖青松 马光思.UML与B结合的软件开发研究与应用[J].计算机技术与发展,2007,(06):123.
　LIAO Qing-song,MA Guang-si.Integrating UML and B for Research and Application of Software Development Method[J].,2007,(07):123.
[2]李勇,曹子宁. 基于需求的形式化建模与验证方法研究[J].计算机技术与发展,2017,27(06):7.
　LI Yong,CAO Zi-ning. Investigation on Formal Modeling and Verification MethodBased on Specification[J].,2017,27(07):7.
[3]战芸娇,魏欧,胡军,等.面向驾驶舱显示系统需求的形式化建模与分析[J].计算机技术与发展,2018,28(03):20.[doi:10.3969/ j. issn.1673-629X.2018.03.005]
　ZHAN Yun-jiao,WEI Ou,HU Jun,et al.Formal Modeling and Analysis of Cockpit Display System Requirements[J].,2018,28(07):20.[doi:10.3969/ j. issn.1673-629X.2018.03.005]
[4]卜星晨,曹子宁,王福俊.基于组件自动机的概率连续行为的形式化模型[J].计算机技术与发展,2020,30(11):1.[doi:10. 3969 / j. issn. 1673-629X. 2020. 11. 001]
　BU Xing-chen,CAO Zi-ning,WANG Fu-jun.Formal Model of Probabilistic Continuous Behavior Based on Component Automata[J].,2020,30(07):1.[doi:10. 3969 / j. issn. 1673-629X. 2020. 11. 001]
[5]王 冠,郝晓星.一种面向 UEFI 模块的形式化建模与验证方法[J].计算机技术与发展,2021,31(12):116.[doi:10. 3969 / j. issn. 1673-629X. 2021. 12. 020]
　WANG Guan,HAO Xiao-xing.A Formal Modeling and Validation Method for UEFI Module[J].,2021,31(07):116.[doi:10. 3969 / j. issn. 1673-629X. 2021. 12. 020]
[6]耿 雪,邹盛荣*,刘晓莹,等.UML 到 Event-B 的系统化转换方法[J].计算机技术与发展,2023,33(12):113.[doi:10. 3969 / j. issn. 1673-629X. 2023. 12. 016]
　GENG Xue,ZOU Sheng-rong*,LIU Xiao-ying,et al.Systematic Transformation Method from UML to Event-B[J].,2023,33(07):113.[doi:10. 3969 / j. issn. 1673-629X. 2023. 12. 016]
[7]张志锋 徐洁 邓璐娟 任雪利.基于B的UML形式化需求分析[J].计算机技术与发展,2007,(08):133.
　ZHANG Zhi-feng,XU Jie,DENG Lu-juan,et al.Requirement Analysis Formalized Using UML Based on B[J].,2007,(07):133.

备注/Memo

备注/Memo:
国家自然科学基金项目（70471046）高丽萍（1982-），女，山西晋中人，硕士研究生，主要研究方向为计算机网络和软件形式化方法研究
更新日期/Last Update: 1900-01-01