成都信息工程大学蒋建民获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉成都信息工程大学申请的专利一种统一结构模型及其保持UML顺序图鲁棒性的方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115202628B 。
龙图腾网通过国家知识产权局官网在2026-03-31发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210804807.5,技术领域涉及:G06F8/20;该发明授权一种统一结构模型及其保持UML顺序图鲁棒性的方法是由蒋建民;李建清;舒红平;赵卓宁;魏乐设计研发完成,并于2022-07-08向国家知识产权局提交的专利申请。
本一种统一结构模型及其保持UML顺序图鲁棒性的方法在说明书摘要公布了:本发明公开了一种UML顺序图的形式化模型——统一结构及其建模工具,以及在统一结构下保持UML顺序图鲁棒性的方法,实现从结构方面建模和分析顺序图,可以方便、快速并有效地进行分析,并且能够保证顺序图在软件开发中的鲁棒性,从而有效帮助面向对象的开发人员克服分析模型和设计模型之间的鸿沟。在本发明提供的统一结构建模工具中,一旦一个顺序图构建完成,它能自动转换为统一结构,并进行鲁棒性分析。
本发明授权一种统一结构模型及其保持UML顺序图鲁棒性的方法在权利要求书中公布了:1.一种基于统一结构模型下保持UML顺序图鲁棒性的方法,其特征在于, 所述统一结构是一个多元组,其中: ,模型元素的有限集合, ,包含关系,是一个非自反的偏序, ,依赖关系, ,在依赖上的限制, ,模型元素的类型集,满足条件:; 所述包含关系是非自反的偏序关系,用于建模父子关系,所述依赖关系有多种,根据不同的模型,种类数量不同,在每个依赖以及包含关系,存在限制条件,所述模型元素根据不同视点分成不同类型; 所述统一结构的依赖链中不存在循环; 利用统一结构建模UML顺序图, 在UML顺序图分解成子结构时,只要保证统一结构描述的UML顺序图是鲁棒的,所述子结构就是鲁棒的; 在UML顺序图组合时,只要保证所述统一结构描述的UML顺序图是可组合的且是鲁棒的,则所述组合就是鲁棒的; 如果所述统一结构建模的UML顺序图的模型元素之间存在依赖关系,则所述UML顺序图模型的精化采用依赖精化; 在一个系统的分析与设计中,只要保证每个模型元素和依赖关系在精化过程中是可组合的,并且是鲁棒的,则分析设计得到的系统是鲁棒的。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人成都信息工程大学,其通讯地址为:610225 四川省成都市西南航空港经济开发区学府路一段24号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励