【技术实现步骤摘要】
本专利技术涉及模型检测领域,特别是涉及软件系统的性质验证和逻辑程序的应用技术,具体为一种基于访问控制权限的ASP知识库增量式验证方法。
技术介绍
知识库(KB)是一种特殊数据库,其用于知识的管理,以为用户提供知识服务为目的。根据推论关系是否为单调递增,可将知识库划分为单调知识库与非单调知识库。单调知识库的推论随着知识的增长而增长。非单调知识库则不同,向知识库中加入新的知识后,原有的推论可能会被推翻,即非单调知识库的推论不随着知识的增长而增长。非单调知识库能够胜任缺省推理、溯因推理等各种任务,因而已被广泛地应用于人工智能等领域。目前对于非单调知识库研究的重点主要集中在非单调知识库的管理、维护、验证等方面。在非单调知识库的验证方面,主要受到关注的是知识库的正确性、完整性和一致性的验证,其主要采用的方法有分布式验证与基于决策表的验证等。增量式验证方法是通过将性质验证限定在系统结构发生改变的部分,或者限定在未验证及需要重新验证的性质部分,从而避免对系统或性质的整体进行验证,以此来提高验证效率。从公开发表的文献来看,在软件验证方面已有大量采用增量式验证方法的研究。例如,Y.Papakonstantic等人通过使用B-树的变体作为辅助存储结构,提出了一种基于分治策略的增量式验证方法,完成了对XML文档的增量式验证;JI.Shunhui等人利用可扩展控制流图的形式化模型,提出了一种基于BPEL演变的增量式验证方法,完成了对Web服务软件的增量式验证;J.Julliand等人通过对组件的集成,提出了一种基于时间自动机的增量式验证方法,完成了对时间系统的增量式验证。上述增 ...
【技术保护点】
一种基于访问控制权限的ASP知识库增量式验证方法,所述ASP知识库为P,其具有性质f和f1,f为已验证性质,f1为待验证性质,f2是f1中的未验证性质;本方法包括以下三个步骤:步骤1、构造基于访问控制权限的ASP知识库模型向ASP知识库中的规则加入访问控制权限,实现对ASP知识库的构建;步骤2、排除知识库P中不成立的待验证性质f1根据权限依赖关系获得f的性质规则权限集M和f1中未验证性质f2的性质规则权限集N,判断集合M与N的关系,排除f1不成立的情况;步骤3、利用已验证性质f中的信息简化验证待验证性质f2在f1无法排除不成立的情况下,通过对f2的验证来判定f1是否成立,若f2成立,则f1成立;反之则f1不成立。
【技术特征摘要】
1.一种基于访问控制权限的ASP知识库增量式验证方法,所述ASP知识库为P,其具有性质f和f1,f为已验证性质,f1为待验证性质,f2是f1中的未验证性质;本方法包括以下三个步骤:步骤1、构造基于访问控制权限的ASP知识库模型向ASP知识库中的规则加入访问控制权限,实现对ASP知识库的构建;步骤2、排除知识库P中不成立的待验证性质f1根据权限依赖关系获得f的性质规则权限集M和f1中未验证性质f2的性质规则权限集N,判断集合M与N的关系,排除f1不成立的情况;步骤3、利用已验证性质f中的信息简化验证待验证性质f2在f1无法排除不成立的情况下,通过对f2的验证来判定f1是否成立,若f2成立,则f1成立;反之则f1不成立。2.根据权利要求1所述的基于访问控制权限的ASP知识库增量式验证方法,其特征在于:所述步骤1中,基于访问控制权限的ASP知识库模型需要的访问控制权限包含谓词访问控制权限、CWA访问控制权限与规则访问控制权限;谓词访问控制权限:知识库P中的任意谓词p对应谓词访问控制权限,记作access(p),如果拥有权限access(p),即有权访问...
【专利技术属性】
技术研发人员:赵岭忠,赵亮,钱俊彦,李颖,冯于平,古天龙,
申请(专利权)人:桂林电子科技大学,
类型:发明
国别省市:广西;45
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。