基于Event-B的形式化建模关键技术研究

• 作者: 吴劲 陈志慧
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: Event-B形式化方法 形式化建模 精化 需求分析
• 年，卷（期）: 2014,（3）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 405-408
• 页数: 4页
• 分类号: TP311
• 字数: 3326字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2014.03.015

摘要

软件系统的规模和复杂程度不断提高而传统的需求分析方法难以确保软件的正确性和一致性，为软件系统的质量埋下了隐患。软件工程的实践表明，在开发过程中，错误发现得越早，修复得越早，付出的代价越小。为了确保软件的质量，可在软件开发的早期需求分析阶段，采用Event-B形式化方法描述软件的需求，并验证模型的正确性。以文件系统建模为例，该文讨论了如何利用Event-B方法，采用逐步精化的方式建立并验证模型，确保软件的正确性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴劲	电子科技大学计算机科学与工程学院	15	76	6.0	8.0
2	陈志慧	电子科技大学计算机科学与工程学院	1	6	1.0	1.0