基于SOFL形式化方法的需求分析  

REQUIREMENTS ANALYSIS BASED ON SOFL FORMAL METHOD

作　　者：韩捷[1] 陈昊鹏[1] 

机构地区：[1]上海交通大学高可靠软件实验室,上海200030

出　　处：《计算机应用与软件》2007年第9期57-59,共3页Computer Applications and Software

摘　　要：介绍了形式化方法在需求分析中的运用,并且介绍了SOFL作为一种优秀的形式化工程方法的一些特点。SOFL在需求分析阶段中采用从informal到semi-formal再到formal的逐步过渡和演化,并采用CDFD进行功能分解和数据流的精确定义,有助于精确且逻辑严密地描述需求,消除需求说明文档隐含的不一致性、二义性、不完整性,从而生成高质量的形式化描述的需求文档。Implementation of formal method in requirement analysis is described, and the feature of SOFL（ Structured Object-Oriented Formal Language）as an excellent formalized engineering method is introduced. The requirement specification in SOFL is divided into three phases ：informal, semi-formal and formal. It uses CDFD （Condition Data Flow Diagram）to decompose the functions, construct the module hierarchy and define the data flow precisely. It helps to describe the requirements precisely and strictly in logic, achieves consistency, un-ambiguity and completeness, and produces formal requirements specification with high quality.

关 键 词：形式化方法 SOFL 需求分析 软件工程 半形式化 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]