基于SOFL的软件开发过程  

作　　者：陈彦霞 

机构地区：[1]河北省邯郸市安装工程有限公司,河北邯郸056004

出　　处：《中国电子商务》2012年第21期41-41,共1页E-commerce in China

摘　　要：SOFL是形式化语言中的一种，它集成了数据流图，VDM—SL，Petri网的优势，为规格说明书的创建工作提供图文并茂的形式化标记。对传统的数据流图进行扩展，并使用Petri网为DFD提供操作语义，形成了CDFD。它用层次方式进行组织，从而把复杂问题分解成若干组织良好的子CDFD;VDM—SL用表对CDFD里的构建进行形式描述，两者结合，构成了SDFL。本文介绍了SOFL在软件开发过程中的运用以及它作为一种优秀的形式化工程方法的优点，SOFL的软件开发过程经历所需分析，抽象设计，演化，细节设计，编程，验证几个阶段，坚实的教学基础以及逐步求精的分解过程保证了系统软件的可靠性和稳定性。

关 键 词：形式化方法 SOFL 

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