[发明专利]非形式化需求规约模板到形式化设计模型的自动转换方法有效
| 申请号： | 201711297282.6 | 申请日： | 2017-12-08 |
| 公开（公告）号： | CN108196827B | 公开（公告）日： | 2021-04-02 |
| 发明（设计）人： | 杨志斌;刘承威;冯思喆;王飞;许金淼;周勇;谢健;王永孟 | 申请（专利权）人： | 南京航空航天大学 |
| 主分类号： | G06F8/20 | 分类号： | G06F8/20;G06F8/30 |
| 代理公司： | 南京瑞弘专利商标事务所(普通合伙) 32249 | 代理人： | 杨晓玲 |
| 地址： | 210016 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种非形式化需求规约模板到形式化设计模型的自动转换方法，通过基于限定自然语言的需求规约模板，以层次化的组织形式、限制的语言描述系统或构件，在此基础上进行需求规约形成非形式化的设计说明文档，并实现整个设计说明到AADL形式化设计模型的转换。本方法能够实现对需求描述的限定，减少因自然语言二义性而产生的人为因素造成的错误，规约形成非形式化的设计说明，并自动生成AADL初始设计模型。 | ||
| 搜索关键词： | 形式化 需求 规约 模板 设计 模型 自动 转换 方法 | ||
【主权项】：
1.一种非形式化需求规约模板到形式化设计模型的自动转换方法，其特征是，基于AADL开源工具环境OSATE使用Eclipse插件开发技术，包括如下步骤：1)基于限定自然语言进行需求模板的组织与建立；2)采用XML技术进行需求模板的存储；3)使用模板方法模式实现需求模板到Req2AADL中间模型的转换；4)使用访问者模式将Req2AADL中间模型转换成AADL模型。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京航空航天大学，未经南京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201711297282.6/，转载请声明来源钻瓜专利网。
