2、网页应用框架的严格分析贡献

网页应用框架的严格分析贡献

1. 目标与成果概述

为了对网页应用框架进行严格分析，我们迈出的第一步是对浏览器与网页服务器交互的客户端 - 服务器架构进行建模。采用 ASM（抽象状态机）方法作为建模框架，因为它具备所需的特性，并且相关文献中的 ASM 模型也为当前工作提供了支持。

目前已定义了抽象网页浏览器模型的传输层和流层，在此基础上，我们添加了上下文层主要组件的模型，结合网页服务器模型，可以描述浏览器与服务器交互的完整请求 - 回复模式。

2. 浏览器组件建模

浏览器模型专注于对网页应用部署和执行最为相关的浏览器行为部分，模型分为四层，这里主要介绍上下文层的特征组件模型。

2.1 浏览上下文

浏览上下文是向用户展示文档并与用户进行交互的环境。在网页浏览器中，通常与窗口或标签相关联，某些已弃用的 HTML 结构（如框架）也会引入单独的浏览上下文。

在我们的模型中，浏览上下文主要由以下五个元素构成：
1. 文档 ：即当前呈现给用户的活动文档（DOM）。
2. 会话历史 ：用户在该浏览上下文中访问过的文档的可导航堆栈。
3. 窗口 ：操作系统相关的指定区域，用于展示文档和进行用户交互。
4. 渲染器 ：生成当前文档的用户可见图形渲染（详见 2.2）。
5. 事件循环 ：按顺序接收和处理操作系统提供的各种事件，作为浏览器的本地输入（详见 2.3）。

当启动新创