-
公开(公告)号：CN118467324A
公开(公告)日：2024-08-09
申请号：CN202310083589.5
申请日：2023-02-08
Applicant: 复旦大学
Abstract: 本发明提供一种基于UML的系统模型的完整性检查方法，首先为每个约束提取出潜在违反结构事件类型，然后确定约束相对于其潜在违反结构事件类型的最佳上下文类型并基于最佳上下文类型重新定义优化的约束，得到等价替代约束，之后确定潜在违反结构事件类型的相关实例并创建增量表达式，最后基于增量表达式集合进行完整性检查。该方法可以确定软件系统在执行操作后必须检查哪些约束，而无需对所有约束进行检查，可有效减少检查开销；该方法可以确定软件系统在执行操作后必须考虑的实例集和每个约束的最佳重新定义，从而可进行递增检查，而无需对所有实例集进行检查，并且基于约束的最佳重新定义，运行效率更高。
Search Results
1
records
(took 0.016 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
