一种基于模型的创建形式化规格说明的方法

本文介绍一种基于模型的从非形式化规格说明文档中提取形式化规格说明的方法。本方法对非形式化的规格说明采用了结构化分类和渐进优化的技术。当非形式化的规格说明可以被归结成能用某一种规格说明语言表示之后，渐进优化就结束了。对于如何将需求的变化、已有的自动化支持技术以及非形式化的设计集合到优化技术中，给予了指导。本方法在设计ＲＳ２３２中继器的应用中已得到了检验。