位置:立项数据库 > 立项详情页
基于元数据和契约式设计的Aspect安全组合机制及其支撑工具
  • 项目名称:基于元数据和契约式设计的Aspect安全组合机制及其支撑工具
  • 项目类别:面上项目
  • 批准号:60873024
  • 申请代码:F020202
  • 项目来源:国家自然科学基金
  • 研究期限:2009-01-01-2011-12-31
  • 项目负责人:何成万
  • 负责人职称:教授
  • 依托单位:武汉工程大学
  • 批准年度:2008
中文摘要:

面向方面软件中的Aspect 组合可能导致的结构冲突和行为冲突,是高可信面向方面软件开发必须要解决的两个关键问题。本项目针对这两个问题展开了研究。提出了以概念模型为基础,基于元数据和反射机制解决结构冲突问题的方法,根据基础程序中定义的元数据对基础程序进行转换,自动生成元对象,基于反射机制实现基础程序演化后连接点的正确匹配。提出了基于契约式设计(design by contract)和行为子类型(behavioral subtyping)概念实现程序运行过程中的行为冲突的自动检测方法。开发了相关支撑工具的原型。本项目的研究成果将为实现Aspect 的安全组合,构建可适应、高可信的面向方面软件提供理论支撑和工具支持。

结论摘要:

英文主题词Aspect-Oriented software; conceptual model; metadata; reflection; design by contract


成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 15
  • 7
  • 0
  • 0
  • 0
相关项目
期刊论文 34 会议论文 8 著作 1
何成万的项目