非形式化需求规约模板到形式化设计模型的自动转换方法

摘要

本发明公开了一种非形式化需求规约模板到形式化设计模型的自动转换方法，通过基于限定自然语言的需求规约模板，以层次化的组织形式、限制的语言描述系统或构件，在此基础上进行需求规约形成非形式化的设计说明文档，并实现整个设计说明到AADL形式化设计模型的转换。本方法能够实现对需求描述的限定，减少因自然语言二义性而产生的人为因素造成的错误，规约形成非形式化的设计说明，并自动生成AADL初始设计模型。