“网构软件理论、方法与技术”入选2014年度高校十大科技进展

本刊讯 由教育部科学技术委员会组织评选的2014年度“中国高等学校十大科技进展”日前在京揭晓。由北京大学信息科学技术学院软件研究所、高可信软件技术教育部重点实验室梅宏院士担任负责人，北京大学为申报学校，南京大学为合作单位的项目“网构软件理论、方法与技术”榜上有名。这也是信息、电子、计算机领域唯一入选项目。

教育部对该项目的介绍如下：互联网正在逐步演化成一个全球泛在的计算平台，其开放、动态和难控的特性对软件技术提出了一系列重大挑战。以北京大学梅宏院士和南京大学吕建院士领衔的团队从2000年开始率先从软件角度探讨互联网计算，提出一种互联网软件新范型—网构软件（Internetware），并在国家973计划连续两期项目的支持下，建立了一套网构软件技术体系，取得一系列重要突破：构造了一个开放、协同的网构软件模型，用以描述和规约自主性、协同性、演化性、情境性、涌现性和可信性等互联网应用新特性；提出了支持按需协同和在线演化的容器系统结构及相关机制，支持系统自治管理，设计实现了网构软件的运行时支撑平台；提出了全生命期软件体系结构驱动的网构软件开发和演化方法。作为中国学者自主提出的学术理念，网构软件研究整体处于国际先进水平，在软件构件、软件体系结构、软件自适应等技术上处于国际领先行列。在软件领域顶级国际会议和期刊发表近百篇学术论文，十多次入选最佳/优秀/亮点论文，数十次在国际会议上做主题/特邀报告；获得一批中国发明专利，形成多项国际、国家和行业标准；研制的工具和系统在国内外众多大中型信息系统中得到应用；多次获得国家和部委级科技成果奖。对我国软件领域创新驱动发展战略做出了重要贡献。

其他入选项目还包括北京大学物理学院牵头、浙江大学参与的“单个纳米颗粒光学检测新原理研究”，以及第二军医大学、哈尔滨工业大学、南京农业大学、清华大学、燕山大学、浙江大学、中国海洋大学、中国石油大学（北京）等8所高校所牵头申报的项目。