[论文解读] Modeling Network Architecture: A Cloud Case Study

Sabah Al‐Fedaghi, Dana Al-Qemlas|arXiv (Cornell University)|Apr 22, 2020

Cloud Computing and Resource Management参考文献 20被引用 10

一句话总结

本文提出一种概念建模方法，通过‘事物机’（TM）系统性地表示云网络架构，将所有网络组件统一为通过抽象机器流动的‘事物’流。该方法实现了复杂云网络的一体化、集成化文档编制与分析，通过一个真实案例研究得到验证，形成了一套标准化、可扩展的网络设计与协议规范框架。

ABSTRACT

The Internet s ability to support a wide range of services depends on the network architecture and theoretical and practical innovations necessary for future networks. Network architecture in this context refers to the structure of a computer network system as well as interactions among its physical components, their configuration, and communication protocols. Various descriptions of architecture have been developed over the years with an unusually large number of superficial icons and symbols. This situation has created a need for more coherent systematic representations of network architecture. This paper is intended to refine the design, analysis, and documentation of network architecture by adopting a conceptual model called a thinging (abstract) machine (TM), which views all components of a network in terms of a single notion: the flow of things in a TM. Since cloud computing has become increasingly popular in the last few years as a model for a shared pool of networks, servers, storage, and applications, we apply the TM to model a real case study of cloud networks. The resultant model introduces an integrated representation of computer networks.

研究动机与目标

• 解决由于过度使用表面化符号和图标而导致的网络架构建模中缺乏连贯性与系统性表示的问题。
• 开发一种统一的概念模型，将所有网络组件抽象为单一框架中的‘事物’流动。
• 将该模型应用于真实云网络环境，以提升网络设计、分析与文档编制能力。
• 建立一种标准化、可扩展的方法，用于表示基于云的计算机网络中的复杂交互。
• 弥合理论网络架构与现代云基础设施中实际实现之间的鸿沟。

提出的方法

• 本文引入‘事物机’（TM）作为概念模型，其中所有网络组件均被表示为处理‘事物’流的抽象实体。
• TM框架将网络元素（如路由器、交换机和云服务）建模为状态机，将输入流转换为输出流。
• 通信协议被形式化为规则，规定‘事物’（数据、控制信号等）在网络组件之间如何被处理、路由和转换。
• 通过一个真实云网络案例研究实例化该模型，将组件与流映射到TM的状态与转换。
• 使用18幅图示生成可视化表示，以说明TM抽象中组件之间的交互与数据流。
• 该方法通过单一、一致的形式化语言，同时支持高层架构文档编制与底层协议规范。

实验结果

研究问题

• RQ1 如何在超越表面化图标与符号的基础上，系统性地建模网络架构？
• RQ2 像事物机（TM）这样的统一抽象在多大程度上能够表示云环境中多样化的网络组件与协议？
• RQ3 TM模型能否提升真实云部署中网络设计文档的清晰度、一致性和可重用性？
• RQ4 TM框架如何支持在复杂云网络中对通信流与协议交互进行分析？
• RQ5 基于流的抽象在建模云网络架构方面具有哪些实际优势？

主要发现

• 事物机（TM）模型成功地将虚拟机、负载均衡器、存储服务等多样化的云网络组件抽象为统一的流式表示。
• 该模型通过标准化的可视化与形式化表示，实现了网络架构的一致性文档编制，减少了设计规范中的歧义。
• 案例研究证明，TM方法可在同一框架内同时支持高层架构规划与底层协议分析。
• 该方法提高了跨网络组件的数据流与控制流可追溯性，增强了系统验证与调试能力。
• 该框架具有可扩展性与可扩展性，支持对大规模分布式云网络进行模块化建模。
• TM模型减少了对临时性图表的依赖，推动了网络架构设计的系统化与可维护性提升。