[論文レビュー] 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）を用いて、すべてのネットワークコンポONENTを抽象的なマシンを介した『モノ』のフローとして統一的に表現することで、クラウドネットワークアーキテクチャを体系的かつ一貫して表現する概念的モデリング手法を提案する。この手法により、複雑なクラウドネットワークの整合的で統合的な文書作成と分析が可能となり、実世界の事例研究を通じて検証された。その結果、ネットワーク設計およびプロトコル仕様のための標準的でスケーラブルなフレームワークが確立された。

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.

研究の動機と目的

• 過剰な表面的シンボルやアイコンの使用による、ネットワークアーキテクチャモデリングにおける一貫性の欠如を是正すること。
• すべてのネットワークコンポONENTを単一のフレームワーク内で『モノ』のフローとして抽象化する統一された概念的モデルを開発すること。
• このモデルを実世界のクラウドネットワーク環境に適用し、設計、分析、文書作成の質を向上させること。
• クラウドベースのコンピュータネットワークにおける複雑な相互作用を表すための標準的で拡張可能な方法を確立すること。
• 理論的なネットワークアーキテクチャと、現代のクラウドインfraストラクチャにおける実装の間の橋渡しをすること。

提案手法

• 本論文は、すべてのネットワークコンポONENTを『モノ』のフローを処理する抽象的エンティティとして表現する概念的モデルとして『モノの機械』（TM）を導入する。
• TMフレームワークは、ルーター、スイッチ、クラウドサービスなどのネットワーク要素を、入力フローを出力フローに変換する状態機械としてモデル化する。
• 通信プロトコルは、『モノ』（データ、制御信号など）がコンポONENT間でどのように処理され、ルーティングされ、変換されるかを規定するルールとして形式化される。
• モデルは実際のクラウドネットワーク事例研究を用いて具体化され、コンポONENTとフローがTMの状態と遷移にマッピングされる。
• 18枚の図を用いて、コンポONENT間の相互作用とTM抽象化内でのデータフローを視覚的に表現する。
• 一貫した形式主義を用いることで、本手法は高レベルのアーキテクチャ文書作成と低レベルのプロトコル仕様の両方をサポートする。

実験結果

リサーチクエスチョン

• RQ1 ネットワークアーキテクチャを、表面的なアイコンやシンボルの使用を越えて、どのように体系的にモデリングできるか？
• RQ2 モノの機械（TM）のような統一された抽象化が、クラウド環境における多様なネットワークコンポONENTとプロトコルをどの程度正確に表現できるか？
• RQ3 TMモデルは、実世界のクラウド展開におけるネットワーク設計文書の明確さ、一貫性、再利用可能性をどのように向上させるか？
• RQ4 TMフレームワークは、複雑なクラウドネットワークにおける通信フローとプロトコル相互作用の分析をどのように支援するか？
• RQ5 フロー指向の抽象化を用いることで、クラウドネットワークアーキテクチャのモデリングにどのような実用的利点が得られるか？

主な発見

• モノの機械（TM）モデルは、仮想マシン、ロードバランサー、ストレージサービスなど、多様なクラウドネットワークコンポONENTを統一されたフロー指向の表現に成功して抽象化した。
• 標準化された視覚的および形式的表現を通じて、ネットワークアーキテクチャの文書作成の一貫性が向上し、設計仕様における曖昧さが低減された。
• 事例研究により、TMアプローチが単一のフレームワーク内で高レベルのアーキテクチャ計画と低レベルのプロトコル分析を両立できることを示した。
• 本手法により、ネットワークコンポONENT間でのデータおよび制御フローのトレーサビリティが向上し、システムの検証とデバッグが容易になった。
• フレームワークはスケーラブルかつ拡張可能であり、大規模で分散型のクラウドネットワークのモジュラーなモデリングを可能にした。
• TMモデルは、一時的な図に依存するのを減らし、ネットワークアーキテクチャ設計におけるより体系的で保守性の高いアプローチを促進した。