Document
拖动滑块完成拼图
首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

一种面向MBSE需求模型质量的建模规约方法 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:上海工程技术大学

摘要:本发明提供一种面向MBSE需求模型质量的建模规约方法,包括:使用SysML进行需求建模,对需求建模的结构性规约,确保相关联的需求组合在一起以形成一个更加有序和协调的系统;对需求建模的原子化规约,保证每个需求避免冗余和重复;减少模型中的歧义性,对其语义进行深入分析,以避免潜在的歧义;对需求建模的确定性规约,关注需求对产品功能、性能和属性的正确记录、内部一致性以及完整性;对需求建模的完整性规约,从本层需求角度检查所有上层需求的充分性,从本层需求角度检查所有向下分配需求的必要性;对需求建模的一致性规约,识别出任何可能的需求冲突,确保在整个需求规范中没有相互矛盾的需求;对需求建模的可验证性的规约。

主权项:1.一种面向MBSE需求模型质量的建模规约方法,其特征在于,所述方法包括以下步骤:使用SysML进行需求建模,对需求建模的结构性规约,确保相关联的需求组合在一起以形成一个更加有序和协调的系统;对需求建模的原子化规约,保证每个需求避免冗余和重复;减少模型中的歧义性,对其语义进行深入分析,以避免潜在的歧义;对需求建模的确定性规约,关注需求对产品功能、性能和属性的正确记录、内部一致性以及完整性,使其明确、简洁;对需求建模的完整性规约,从本层需求角度检查所有上层需求的充分性即检查本层需求是否足够满足上层,从本层需求角度检查所有向下分配需求的必要性即检查本层需求是否全部有下层满足;对需求建模的一致性规约,识别出任何可能的需求冲突,确保在整个需求规范中没有相互矛盾的需求;对需求建模的可验证性的规约,需求的可验证性指的是需求可以通过某种方法或过程进行验证,以确证其是否被正确实现。

全文数据:

权利要求:

百度查询: 上海工程技术大学 一种面向MBSE需求模型质量的建模规约方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。