基于B方法的应用软件开发.PDFVIP

( ) 第 39 卷 第 3 期 河南大学学报 自然科学版 Vol . 39 　No . 3 2009 年 5 月 Journal of Henan U niver sit y (Nat ural Science) May 2009 基于 B 方法的应用软件开发 1 2 陈丹敏 ,裘宗燕 ( 1. 河南大学 计算机与信息工程学院 ,河南 开封 475004 ; 　2 . 北京大学 数学科学学院 ,北京 10087 1) 摘 　要 : 随着应用的发展 ,计算机系统的一致性和可靠性变得越来越重要. 形式化方法以精确的数学语义为基础 , 能精确描述系统规范 ,严格验证规范的性质 ,从而更好地保证软件的一致性和可靠性. B 形式化方法支持从规范说 明到代码生成的整个软件开发周期. 在给出基于 B 方法的开发过程之后 , 以 PO S 系统的开发过程为例 ,介绍 B 方 法在实际软件开发中的应用. 关键词 : B 方法 ;形式化方法 ;规范说明;软件设计 ; PO S ( ) 中图分类号 : TP3 11. 5 　　　文献标志码 : A 文章编号 : 1003 - 4978 2009 03 - 0304 - 05 Appl ied Soft ware Development Based on BMethod C H EN Danmin1 , Q IU Zongyan2 ( 1 . Col leg e of Comp uter an d I nf orm ation E ng i nee ri ng , H enan Uni vers i ty , K aif eng H enan 475004 , Chi na ; 2 .S chool of M at hem atical S ciences , Pek i ng Uni vers i ty , B eij i ng 10087 1 , Chi na) Abstract : The coherence and reliabilit y of comp ut er sy st ems are more and more crucial . Wit h p reci se mat hematical semantics , formal met hods support accurat e sp ecification and rigor verification for software sy st ems. Among t hese met hods , Bmet hod support s t he whole lifecycle of software develop ment . Thi s p ap er int roduces fir st t he develop ment p rocess of Bmet ho d in general in some det ail s , and t hen u ses PO S sy st em as an example to illu