下一代超媒体文件传输协议(HTTP-NG)的结构分析与研究

对当前HTTP存在的问题和Web 应用的需求进行了分析,并给出了下一代超媒体传输协议HTTP-NG的结构模式及其各层的功能.旨在改善目前HTTP/1.x 的性能,以适应Web

基于时序逻辑的HTTP-NG协议分析

形式化方法由于其简练、无二义性,在协议工程中有着重要的地位。首先对下一代超文本传输协议(HTTP NG)作了简单介绍,并利用基于时序逻辑MTLP的形式化方法对简化了的HTTP NG模型进行协议描述和分析,其中多种数据结构的引入,使分析更为方便。

下一代的Web技术

一、概述 在Internet中Web已经占据了主导地位,Web技术的发展变化完全引导着Internet的发展变化.Web技术的体系结构主要是基于HTML和HTTP协议,这两个核心协议的设计所面向的最基础的应用也只是从文档的传输与表示.随着Web迅速地普及,基于Web的应用逐步延伸到一些复杂的应用和计算,一些传统的分布式计算和面向对象技术也试图迁移到Web技术上来,Web技术已成为软件工程开发、网络分布式计算和处理的核心[5,8].