您的位置： 专家智库 > >

李星

作品数：1 被引量：2H指数：1
供职机构：西安工程大学计算机科学学院更多>>
发文基金：中国纺织工业协会科技指导性项目陕西省教育厅科研计划项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇架构
  • 1篇AOP

机构

  • 1篇西安工程大学

作者

  • 1篇陈宁
  • 1篇李星

传媒

  • 1篇计算机工程与...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于AOP架构的业务约束检测被引量：2
2012年
利用运行时验证这样一种新兴的轻量级验证技术和AOP的框架结合,检测业务约束之间存在的冗余和冲突。首先对业务约束进行定义,利用约束理论(TOC)中的现实树(RT)将约束提取出来放在AOP的切入点(pointcut)中,然后利用命题语言表示约束的监控性质,再通过合并真值表的方法来检测约束中存在的冗余和冲突,最终提高软件的可靠性。
陈宁李星
全选 清除 导出
共1页<1>
聚类工具0