面向下一代互联网的网络服务建模基础理论研究

项目名称： 面向下一代互联网的网络服务建模基础理论研究

项目编号： No.61170209

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 陈福

作者单位： 北京外国语大学

项目金额： 57万元

中文摘要： 可信性、可管理性是下一代互联网研究关注的核心问题之一，网络服务行为建模是确保网络服务可信、可管理的最重要手段。目前海量的网络服务缺乏严谨的建模方法，尤其是下一代互联网、云计算等快速发展加剧了网络服务建模需求。本课题以π演算为基础研究网络服务的代数演算与建模方法。研究内容依次递进，包括：（1）在下一代互联网、云计算等环境下进行网络服务行为数据采集与特征分析；（2）开展网络服务行为、服务情境、服务与服务情境之间的动态交互行为研究；（3）以π演算为基础研究网络服务行为的建模方法及其不确性分析，包括能力模型、规约要求、交互操作、情境依赖建模，分析网络服务的不确定性及其度量方法，确认网络服务符合预期要求；（4）以真实的下一代互联网CERNET2为实验环境验证上述理论研究。通过网络服务建模，提高网络服务可信性，对其开发、运营及管理与监控均具有重要理论和工程意义，从而推进下一代互联网的可管理性研究。

中文关键词： 下一代互联网；软件定义网络；社交网络；网络服务行为；云计算

英文摘要：

英文关键词： Next Generation Internet；Software Defined Network；Social Networks；Network Service Behavior；Cloud Computing