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