[論文レビュー] Modeling Cloud Architectures as Interactive Systems

Antonio Pérez, Bernhard Rumpe⋆|arXiv (Cornell University)|Aug 25, 2014

Advanced Software Engineering Methodologies参考文献 4被引用数 13

ひとこと要約

本論文は、クラウドソフトウェアをインタラクティブシステムとしてモデル化することで、低レベルの技術的複雑性を抽象化するアーキテクチャ記述言語を提案する。クラウドアーキテクチャをインタラクティブシステムとして扱うことで、設計、デプロイ、保守の各段階を改善した明確さと保守性を備えたモデル駆動型手法を可能にし、特にクラウド要件に特化した専用のアーキテクチャスタイルを通じて、クラウドベースのサイバーフィジカルシステムの開発を支援する。

ABSTRACT

The development and maintenance of cloud software is complicated by complex but crucial technological requirements that are tightly coupled with each other and with the softwares actual business functionality. Consequently, the complexity of design, implementation, deployment, and maintenance activities increases. We present an architecture description language that raises the level of technological abstraction by modeling cloud software as interactive systems. We show how its models correspond to an architecture style that particularly meets the requirements of cloud-based cyber-physical systems. The result provides a basis for an architecture-driven model-based methodology for engineering cloud software.

研究の動機と目的

• 技術的要件と機能的要件が強く結合されていることによる、クラウドソフトウェアの設計・実装・保守における複雑性の増大に対処すること。
• システムをインタラクティブエントイティとして扱うことで、クラウドアーキテクチャモデリングにおける抽象化レベルを向上させること。
• クラウドソフトウェア工学におけるアーキテクチャ駆動型のモデルベース手法を支援するアーキテクチャ記述言語を開発すること。
• クラウドベースのサイバーフィジカルシステムに特に適したアーキテクチャスタイルを定義すること。
• 形式化されたモデリングを通じて、クラウドソフトウェア開発の管理可能性と明確性を向上させること。

提案手法

• 著者は、行動的および構造的分離に重点を置いた、クラウドシステムをインタラクティブシステムとしてモデル化するアーキテクチャ記述言語（ADL）を導入する。
• 本手法は、コンポーネントとクラウドインfra構成要素との間の相互作用を捉える形式化されたアーキテクチャスタイルを用いる。
• スケーラビリティ、フェイルセーフティ、動的リソース割り当てといった技術的懸念事項を、より高い抽象化レベルでモデルに統合する。
• モデルベース開発を支援するフレームワークであり、自動コード生成と検証を可能にする。
• 形式的意味論に基づいたアーキテクチャスタイルにより、システム特性の分析と検証が可能になる。
• 本手法は、ハイパフォーマンスコンピューティングおよびクラウドコンピューティングの文脈における事例研究を通じて評価され、その適用可能性が示された。

実験結果

リサーチクエスチョン

• RQ1 技術的要件と機能的要件を保持しつつ、クラウドソフトウェアアーキテクチャをどのように抽象化することで複雑性を低減できるか？
• RQ2 クラウドベースのサイバーフィジカルシステムの相互作用パターンと非機能的特性を最も効果的にサポートするアーキテクチャスタイルは何か？
• RQ3 クラウドシステムをインタラクティブシステムとしてモデル化することで、より保守性が高くスケーラブルなモデル駆動型開発プロセスを実現できるか？
• RQ4 エラスティシティやフェイルセーフティといった技術的懸念事項を、形式的にアーキテクチャモデルに統合する方法は何か？
• RQ5 インタラクティブシステムの原則に基づくアーキテクチャ記述言語をクラウドシステムに適用する場合の実現可能性と利点は何か？

主な発見

• 提案されたアーキテクチャ記述言語は、低レベルのクラウド複雑性を効果的に抽象化し、明確なシステム仕様の記述を可能にした。
• インタラクティブシステムモデリングアプローチは、クラウドベースのサイバーフィジカルシステムに特化した一貫性のあるアーキテクチャスタイルをサポートする。
• 本手法はモデル駆動型開発ライフサイクルを可能にし、保守性を向上させ、手作業による設定ミスを低減した。
• フレームワークは形式的分析と自動コード生成をサポートし、信頼性と一貫性の向上に寄与した。
• 本手法は、国際的ハイパフォーマンスコンピューティングおよびクラウドコンピューティングのためのモデル駆動型エンジニアリングワークショップという実世界の文脈で検証された。
• 結果として、クラウドシステムをインタラクティブシステムとしてモデル化することで、設計の明確性が向上し、クラウドソフトウェアのシステマティックなエンジニアリングが可能になったことが示された。