基于Event-B的软件工程形式化方法综述
作者:
作者单位:

作者简介:

通讯作者:

基金项目:

陕西省重点研发计划(2018GY-028, 2020GY-084); 陕西省自然科学基金(2020JM-633); 陕西省教育厅科研计划(20JG014)


Overview on Formal Methods of Software Engineering Based on Event-B
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
    摘要:

    在当今泛在计算和软件定义的大趋势下, 形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法, 渗透到软件工程的全寿命周期. Event-B作为一种“构造即正确”的方法, 为软件工程形式化方法的应用提供了支撑. 本文对现有的基于Event-B的软件工程形式化方法进行了分类阐述, 主要分为Event-B控制结构、面向对象的Event-B、可重用的Event-B以及实时Event-B模型, 并对各种Event-B模型对软件开发全寿命周期的支持进行了汇总, 为软件工程形式化方法提供参考和借鉴.

    Abstract:

    In today’s general trend for ubiquitous computing and software definition, formal methods have gradually become an important way to guide the definition of software requirements, analyze software design schemes, and verify the correctness of software products, which penetrates the entire life cycle of software engineering. Event-B, as a “correct by construction” method, supports the application of formal methods in software engineering. This paper classifies and expounds on the existing formal methods in software engineering based on Event-B, which are mainly divided into Event-B control structure, object-oriented Event-B, reusable Event-B, as well as real-time Event-B models. It also summarizes the support from various Event-B models for the whole life cycle of software development and provides references for the formal methods in software engineering.

    参考文献
    相似文献
    引证文献
引用本文

彭寒,张晓丽,刘洲洲,曹国震,景月娟,王瑾,李添锐.基于Event-B的软件工程形式化方法综述.计算机系统应用,2021,30(9):12-23

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
历史
  • 收稿日期:2020-12-13
  • 最后修改日期:2021-01-11
  • 录用日期:
  • 在线发布日期: 2021-09-04
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号