刘林霞
- 作品数：6 被引量：2H指数：1
- 供职机构：兰州大学信息科学与工程学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于模型检测的半结构化数据查询
- 在Web迅猛发展和半结构化数据急剧膨胀的今天,Web上的半结构化数据查询日益成为信息技术领域一个重要的研究发展方向.现有的半结构化查询语言在查询效率上存在着不足.文章提出了一个将模型检测技术应用到半结构化数据查询的新方法...
- 刘林霞张自强何安平
- 关键词：时序逻辑半结构化数据查询效率
- 文献传递
- 基于模型检测的半结构化数据查询被引量：2
- 2009年
- 在Web迅猛发展和半结构化数据急剧膨胀的今天,Web上的半结构化数据查询日益成为信息技术领域一个重要的研究发展方向。现有的半结构化查询语言在查询效率上存在着不足。文章提出了一个将模型检测技术应用到半结构化数据查询的新方法,它通过把数据库看作Kripke状态变迁系统,把查询解释为时序逻辑CTL公式,将查询过程转化为模型对公式的满足问题,通过模型检测过程高效地完成数据查询,从而使查询可以在多项式时间内完成,很好地改善了查询效率。最后,给出了该方法在现有半结构化查询语言Lorel上的应用。
- 刘林霞张自强何安平
- 关键词：时序逻辑OEM模型
- 基于Buchi自动机的UML模型一致性研究
- 随着UML在系统建模中的广泛使用，模型间的一致性问题越来越突出．目前解决此问题的形式化方法主要是将UML模型转换为现有检测工具的输入语言进行处理．其往往会引入冗余计算及处理语义差异的负载．针对顺序图和状态图的一致性问题，...
- 张自强何安平刘林霞
- 关键词：UML模型线性时序逻辑
- 文献传递
- 基于运行时验证的AOP程序检测框架
- 目前面向切面编程的研究侧重于语言本身的实现和应用,而对AOP程序的检查和验证的相关研究十分缺乏。针对目前的需求,本文提出一种基于运行时验证的框架来验证AOP程序,使得AOP程序中横切关注点的验证得以实现。在这种框架中,程...
- 梁睿刘林霞张自强
- 关键词：面向切面编程连接点线性时序逻辑注解
- 文献传递
- 基于模型检测的半结构化数据查询及其应用
- Internet的迅猛发展，导致Web上的半结构化数据急剧膨胀。因此，对这类数据的查询日益成为信息技术领域一个重要的研究发展方向。现有的半结构化数据查询语言在查询方式以及查询效率上存在着不足。本文针对这些问题提出了将模型...
- 刘林霞
- 关键词：数据模型半结构化数据数据查询
- 文献传递
- 基于运行时验证的AOP程序检测框架
- 目前面向切面编程的研究侧重于语言本身的实现和应用,而对AOP程序的检查和验证的相关研究十分缺乏。针对目前的需求,本文提出一种基于运行时验证的框架来验证AOP程序,使得AOP程序中横切关注点的验证得以实现。在这种框架中,程...
- 梁睿刘林霞张自强
- 关键词：面向切面编程线性时序逻辑
- 文献传递
