超协调逻辑论文

超协调描述逻辑
论文摘要描述逻辑是一类用于表达结构化的知识,并按照规则来提取和推理的形式化语言,它是语义网本体的逻辑基础。在语义网这种开放变化的、异地合作的环境中,获得的信息通常是不完美的。基...
超协调时序逻辑及其模型检测方法
论文摘要传统的观点认为保持系统刻画的协调性1是并发系统开发过程基本的要求,但随着所设计并发系统的规模越来越大,功能越来越复杂,使得自始至终维持系统的协调性成为一个具有挑战性的课...