一种基于B方法的网络发票系统设计与实现

目前，在软件项目设计方法中，B方法是少数几种能够贯穿从需求分析到系统实现环节的、对软件产品进行全生命周期管理的形式化方法之一。本文以网络发票系统为例，对其使用B方法进行产品设计的良好实践进行了说明，阐述了该方法从规格说明到精化、实现的实践过程。该过程使用Atelier B作为实现工具。

Design and Implemention of An Network Invoice System Using B-Method

The B-Method is one of the formal methods,which is able to run through from requirement analysis to system implementation,It can handle the software life cycle management,This paper takes the network invoice system as an example,which describes the good practice in terms of product design using the B-Method,explaines the method from the specification to the refinmement and code generation process of practice,The process uses Atelier B as the implementation tool.