基于构件技术和B方法的形式化需求分析

Formalized requirement analysis based on the component technology and method-B

采用一种基于构件技术和B方法的企业信息系统形式化需求分析方法,按照构件的思想对非形式化的需求分析进行形式化描述,可发现软件需求中隐含的不一致性、不完整性、消除二义性.该方法可以解决传统方法的一些不足,大大提高系统需求分析的质量与效率.

A formal requirement analysis approach for enterprise information system was adopted which based on component technology and B method.The formal description for the informal requirement analysis according to the component methodology could find the inconsistency,incompleteness and the elimination of ambiguity embedded in the software requirement analysis,the insufficiency of traditional approach can be solved by this approach and the quality and the efficiency of the system requirement analysis were greatly improved.