网络服务体系结构及其形式化模型的研究

被引：6

作者：

杨鹏

吴家皋

机构：

[1] 东南大学计算机科学与工程系

[2] 东南大学计算机网络和信息集成教育部重点实验室

来源：

计算机研究与发展 | 2005年 / 07期

基金：

国家自然科学基金重大项目;

关键词：

下一代网络; 信息基础设施; 网络服务体系结构; 交互; 形式化模型;

D O I：

暂无

中图分类号：

TP393 [计算机网络];

学科分类号：

081201 ; 1201 ;

摘要：

下一代网络的本质是以提供网络服务为核心的,能够支撑各国政治、经济、文化、教育、国防等各个领域全面信息化的信息基础设施,单纯基于通信功能来进行层次划分的传统网络体系结构已不能适应下一代网络发展的需要.提出了一种基于交互的网络服务体系结构(INSA),作为从服务角度研究下一代网络的下一代网络服务体系结构参考模型,并详细论述了INSA参考模型的总体结构和各层功能.用构件来描述网络实体,用连接件来描述构件间交互,建立起了下一代网络服务体系结构的形式化模型,为形式化分析和验证网络服务体系结构的总体性质以及进一步研究网络服务体系结构中与服务相关的各种性质奠定了基础.

引用

页码：1115 / 1122

页数：8