Internet的出现使计算机软件所面临的环境开始从静态封闭逐步走向动态开放。如何在开放、动态环境下,实现灵活、可信、以及协同的资源共享和集成已经成为信息化社会的重大需求。为了满足此需求,软件系统开始呈现出一种柔性、多目标、连续反应式的新系统形态Software Web。本课题拟针对Software Web的自主性、协同性、反应性、演化性等基本特性,从主体化、智能化、形式化、网络化的角度,研究和建立Software Web的理论、模型、方法和技术框架体系,主要研究内容包括软件Agent的基本结构与机制、Software Web的模型与结构、Software Web 的高可信模型与技术、机器学习技术与Software Web的自适应性研究、Software Web的结构框架与中间件平台等;从而为建立面向Internet的软件新方法与技术体系奠定良好的基础。
Internetware;Dependability;Machine Learning;Distribute Computing;Media Content Processing
本群体于2007年得到国家自然科学基金委首次批准资助,2010年获得滚动支持,通过群体成员近六年的不懈努力,本项目按计划实施,进展顺利,达到了预期的目标。在此期间,以本群体为主要核心支撑的计算机软件新技术国家重点实验室于2012年在五年一度的国家评估中被评为计算机学科第一、信息领域优秀,这是该实验室继2007年被评为计算机学科第一、信息领域优秀后蝉联此殊荣。在项目执行期间,本创新研究群体集成创新,强化系统,构建了新一代面向Internet的软件方法与技术体系进一步将其发展为一套面向Internet的软件方法与技术支撑体系,主要包括一个体系框架,两个关键支撑点,三个技术层次,四项主要内容,五个代表性成果;其中,一个体系框架面向Internet的软件方法与技术支撑体系框架;两个关键支撑点软件方法学与机器学习;三个技术层次网构化与服务化的软件方法学,智能化和可信化的关键支撑技术、以及普适化和自然化的基本应用模式;四项主要内容网构化与可信化的软件方法学框架,机器学习技术与智能化软件支撑技术,普适化的分布式计算与应用支撑技术,人本化的多媒体信息处理技术及应用。五个代表性成果“网构化软件模型、技术与平台”、“基于认识与理解途径的可信软件方法与技术”、“面向泛在服务的分布计算关键支撑技术”、“基于不充分信息的机器学习理论与方法”、“基于领域建模的媒体内容处理技术及其应用”。初步回答了(1)新一代软件方法与技术体系的基本风范与框架是什么?(2)新一代软件方法与技术的关键支撑技术交叉与聚合方式是什么?(3)如何推进智能化、可信化、分布式、人本化等新一代软件方法与技术体系的关键支撑技术?等关键科学与技术问题,在软件新方法与新技术前瞻性和原创性探索方面取得重要进展,在软件高新技术的研究、开发与应用方面取得实际成效。在项目执行期间,本创新群体在高水平的科学研究与国际影响、高水平队伍建设与人才培养、承担与完成国家重要科研任务与科研获奖、以及科研成果对信息化与软件产业的促进方面又取得了新进展。