基于元数据和契约式设计的Aspect安全组合机制及其支撑工具
批准号：
60873024
项目类别：
面上项目
资助金额：
33.0 万元
负责人：
何成万
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2011
批准年份：
2008
项目状态：
已结题
项目参与者：
沈海波、李晓林、胡宏银、姚峰、李健、焦素廷、万明、李征
项目摘要
结项摘要
项目成果
何成万的其他基金
相似基金
相关文献
中文摘要
面向方面软件中的Aspect组合可能导致的结构冲突和行为冲突，是高可信面向方面软件开发必须要解决的两个关键问题。本项目针对这两个问题展开研究，在综合分析现有典型方法的基础上，以概念模型为基础，基于元数据和反射机制从体系结构层面解决结构冲突问题，基于契约式设计（design by contract）和行为子类型（behavioral subtyping）概念实现程序运行过程中的行为冲突的自动检测。研究概念模型和元数据的自动映射方法，基于反射机制的结构冲突解决框架及其实现方法，基于JML(Java Modeling Language)的面向方面软件的契约描述方法及其行为子类型概念的实现方法等。本项目的研究成果将为实现Aspect的安全组合，构建可适应、高可信的面向方面软件提供理论支撑和工具支持。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
电子学报
影响因子：
--
作者：
[张立军, 何成万, 张慧]
通讯作者：
张慧
GPRN: A Hierarchical Framework for Aspect-oriented Requirement Modeling
GPRN：面向方面的需求建模的分层框架
GPRN：面向方面的需求建模的分层框架
DOI：
10.4156/jdcta.vol5.issue2.19
发表时间：
2011-02
期刊：
International Journal of Digital Content Technology and its Applications
影响因子：
--
作者：
[Chengwan He, Chengmao Tu]
通讯作者：
Chengmao Tu
DOI：
--
发表时间：
--
期刊：
武汉工程大学学报
影响因子：
--
作者：
[李健, 焦素廷, 何成万]
通讯作者：
何成万
Automatic Detection to the Behavioral Conflict in AOP Application Based on Design by Contract
基于契约设计的AOP应用行为冲突自动检测
基于契约设计的AOP应用行为冲突自动检测
DOI：
10.4304/jsw.6.11.2255-2262
发表时间：
2011-01
期刊：
Journal of Software
影响因子：
--
作者：
[Zheng Li, Chengwan He]
通讯作者：
Chengwan He
DOI：
--
发表时间：
--
期刊：
计算机工程与设计
影响因子：
--
作者：
[胡宏银, 何成万]
通讯作者：
何成万
共 11 条
基于目标模型的横切关注点识别及语义连接点定义方法研究
-
批准号：61272115
-
项目类别：面上项目
-
资助金额：80.0万元
-
批准年份：2012
-
负责人：何成万
-
依托单位：
国内基金
海外基金