| 基于B方法的组件开发 |
| |
| 引用本文： | 高丽萍,褚伟.基于B方法的组件开发[J].微机发展,2007,17(7):28-30. |
| |
| 作者姓名： | 高丽萍 褚伟 |
| |
| 作者单位： | 合肥工业大学计算机与信息学院 安徽合肥230009(高丽萍)，合肥工业大学网络研究所 安徽合肥230009(褚伟) |
| |
| 基金项目： | 国家自然科学基金项目(70471046) |
| |
| 摘 要： | 现有的组件开发技术的规格说明是非形式化的,这导致了逻辑的非严密性和理解的歧义性,将会严重影响组件复用的效率。B方法是形式化方法之一,已经有功能强大的工具支持软件的形式化开发过程,它通过严格的数学推导和证明来保证软件设计和代码的正确性。为此,将B方法应用于学生信息管理系统的开发,提供了学生组件从需求规格说明、精化到最终实现的开发过程。通过对这一实例的研究可以看出,B方法增强了组件的规范性,对于提高组件复用的可靠性有重大的意义。
|
| 关 键 词： | 形式化方法 B方法 组件 |
| 文章编号： | 1673-629X(2007)07-0028-03 |
| 修稿时间： | 2006年9月27日 |
An Approach of Component Development with B Method |
| |
| GAO Li-ping,CHU Wei.An Approach of Component Development with B Method[J].Microcomputer Development,2007,17(7):28-30. |
| |
| Authors: | GAO Li-ping CHU Wei |
| |
| Affiliation: | GAO Li-ping1,CHU Wei2 |
| |
| 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 implementations.Through the research on this case,conclude that B method improves the formalization of specification and reliability of components' reusing. |
| |
| Keywords: | formal method B method component |
| 本文献已被 CNKI 等数据库收录！ |
|
