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

网络服务体系结构及其形式化模型的研究
杨鹏;吴家皋
【期刊名称】《计算机研究与发展》
【年(卷),期】2005(42)7
【摘要】下一代网络的本质是以提供网络服务为核心的,能够支撑各国政治、经济、文化、教育、国防等各个领域全面信息化的信息基础设施,单纯基于通信功能来进
行层次划分的传统网络体系结构已不能适应下一代网络发展的需要.提出了一种基
于交互的网络服务体系结构(INSA),作为从服务角度研究下一代网络的下一代网络
服务体系结构参考模型,并详细论述了INSA参考模型的总体结构和各层功能.用构
件来描述网络实体,用连接件来描述构件间交互,建立起了下一代网络服务体系结构
的形式化模型,为形式化分析和验证网络服务体系结构的总体性质以及进一步研究
网络服务体系结构中与服务相关的各种性质奠定了基础.
【总页数】8页(P1115-1122)
【作者】杨鹏;吴家皋
【作者单位】东南大学计算机网络和信息集成教育部重点实验室,南京,210096;东
南大学计算机科学与工程系,南京,210096
【正文语种】中文
【中图分类】TP393
【相关文献】
1.多Agent系统的形式化开放混合体系结构模型研究 [J], 陈进才;郑守淇;冀德学
2.软件体系结构模型的形式化研究 [J], 徐正权;海沫
3.一种基于形式化规约生成软件体系结构模型的方法 [J], 祝义;黄志球;曹子宁;周航;刘亚萍
4.软件体系结构模型的形式化研究 [J], 徐正权;海沫
5.基于物理资源模型的物联网软件体系结构设计与形式化验证 [J], 陈海明;崔莉;谢开斌
因版权原因，仅展示原文概要，查看原文内容请购买。