|
2000年获政府特殊津贴，2001年获国家杰出青年科学基金，2004年获第八届中国青年科技奖，参与研制的“大型软件开发环境——青鸟系统”获：国家“八五”科技攻关重大科技成果，1996年电子工业部科技进步特等奖（排名9），1998年国家科技进步二等奖（排名3）。
1992年至1999年，作为核心骨干和技术负责人之一参加了杨芙清院士主持的国家重点科技攻关项目青鸟工程的研究开发。“八五”期间，作为项目集成组长，解决了大量关键技术问题，为这项由全国20多所大学、研究所和企业单位承担的大型科研项目的顺利集成和最终完成做出了突出贡献。“九五”期间，作为项目技术负责人之一和青鸟软件生产线系统的主要设计者之一，在第一线组织项目的实施工作，配合杨芙清院士提出的软件生产线技术的思想，提出了青鸟构件模型，制定了青鸟构件技术规范。青鸟系统已产生了很好的经济和社会效益，促进了国内CASE市场的形成和发展以及软件工程思想和技术的推广。
近几年，基于青鸟工程的实践，围绕“基于构件的软件复用”这一主题，提出了面向构件、基于体系结构的软件开发方法ABC（Architecture Based Component Composition）。ABC方法在软件开发方法学、构件理论、中间件理论等基础理论方面进行了深入的探索和研究：?提出了一种基于特征的领域模型及其建模过程，初步建立了特征和构件间的映射关系，设计实现了一个支持领域特征建模的可视化工具；?设计了一个基于XML的体系结构描述语言ABC/ADL，支持从基本层、行为层和协议层对构件和连接子进行详细的描述和规约；?研发了基于微内核结构、符合J2EE规范的构件运行支撑平台PKUAS，该平台采用统一的互操作框架；支持基于构件粒度的在线演化；采用多层反射机制，支持基于运行时体系结构的自适应调节和管理；将连接子作为结构化的运行实体引入中间件平台；支持基于Agent的自主计算；?率先开展了针对网络软件的特征交互研究，提出了从需求、设计和运行等多个层次开展研究的思路，在特征交互实例研究和在线检测方法方面取得良好进展。ABC方法提出后，在ICSE、FSE、ICFI、ICRE、UML/MoDELS等国际著名学术会议和杂志以及国内一级学报上发表了一批高水平学术论文，其中ICSE、FSE、ICRE等国际顶级学术会议是近十几年来首次接受来自中国大陆学者的论文。ABC方法已引起越来越多的国内外研究人员的关注，多次受邀作学术报告，包括3次国际学术会议特邀报告，2次国际学术会议特邀论文。
研究成果已经取得了良好的社会经济效益，PKUAS已成功应用于多个应用系统开发中，产生直接经济效益千万元。在北京2008奥组委技术部主持的奥运信息系统建模项目中，ABC方法及其支持工具起到了核心作用，为北京奥运信息系统的模型构造做出了贡献。ABC方法研究受到一系列国家项目的支持，包括： 973、863、国家自然科学基金、国家杰出青年科学基金、国家科技攻关计划、以及国家发改委软件产业化专项等课题。作为信息产业部软件构件技术标准工作组组长主持了我国构件技术行业标准的制订工作。基于自主研究成果，已颁布标准3项，正在制订8项。
|
