龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：复旦大学
摘要：本发明提供一种基于UML的系统模型的完整性检查方法，首先为每个约束提取出潜在违反结构事件类型，然后确定约束相对于其潜在违反结构事件类型的最佳上下文类型并基于最佳上下文类型重新定义优化的约束，得到等价替代约束，之后确定潜在违反结构事件类型的相关实例并创建增量表达式，最后基于增量表达式集合进行完整性检查。该方法可以确定软件系统在执行操作后必须检查哪些约束，而无需对所有约束进行检查，可有效减少检查开销；该方法可以确定软件系统在执行操作后必须考虑的实例集和每个约束的最佳重新定义，从而可进行递增检查，而无需对所有实例集进行检查，并且基于约束的最佳重新定义，运行效率更高。
主权项：1.一种基于UML的系统模型的完整性检查方法，用于在基于UML的软件系统执行操作后对其信息库进行完整性检查，所述操作对应于一组结构事件，其特征在于，包括以下步骤：步骤S1，通过分析所述信息库的约束的树形表示，为每个所述约束从结构事件类型中提取潜在违反结构事件类型；步骤S2，通过分析所述树形表示，确定所述约束相对于所述潜在违反结构事件类型的最佳上下文类型，并基于该最佳上下文类型重新定义所述约束，得到等价替代约束；步骤S3，在所述信息库中，确定每个所述潜在违反结构事件类型的相关实例，基于所述相关实例为每个所述等价替代约束及其所述违反结构事件类型创建增量表达式；步骤S4，在所述软件系统执行操作后，基于所述增量表达式的集合对所述信息库进行完整性检查。
全文数据：
权利要求：
百度查询： 复旦大学 基于UML的系统模型的完整性检查方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号