我所参与的973项目“高效可信的虚拟计算环境基础研究”立项

国防科技大学牵头的973项目“高效可信的虚拟计算环境基础研究”日前获得国家科技部批准立项。我所邵维忠教授担任课题4“领域特定的虚拟计算环境程序设计”（编号：2011CB302604）课题负责人。课题实施时间: 2011.1-2015.12.

虚拟计算环境程序设计是支撑互联网新型应用设计和实现的基本途径，需要在虚拟计算环境体系结构研究的基础上，从问题空间、软件形态和运行环境等多维度开展研究，探索新型的程序设计理论、方法与关键技术。

本课题首先从问题空间维度，研究互联网新型应用模式的需求特征，特别是针对大规模并行数据处理、大规模协同服务等应用场景，建立领域特定的业务模型；其次从软件形态维度，研究面向特定业务领域的编程模型，以及面向服务、
基于自主元素的程序构造方法；第三，从运行环境维度，探索新型应用模式的程序运行机理，建立新型应用模式的运行支撑机制。最后，在上述工作的基础上，研究相应的语言设施、框架和工具，建立面向互联网新型应用模式的程序设计模
式及开发框架。通过上述研究，发现大规模数据处理和协同服务等典型互联网新型应用的基本特征，建立面向特定领域的编程模型；在此基础上，为基于虚拟计算环境的互联网新型应用探索新的构造方法，提高基于新型编程模型的软件开发效率和开发质量；通过研究新模型下的程序运行支撑机制，建立支撑互联网新型应用开发与运行的方法、框架和工具，支持虚拟计算环境应用的高效设计与实现。