[論文レビュー] A Model-driven Approach for Grid Services Engineering

David Manset, Richard McClatchey+2 more|ArXiv.org|Sep 21, 2005

Distributed and Parallel Computing Systems参考文献 12被引用数 6

ひとこと要約

本論文は、正しさと相互運用性を保証するための形式的手法を用いて、グリッドサービスのモデル駆動型工学的手法を提案する。形式的アーキテクチャ中心のモデリングとモデル変換を統合することで、異種プラットフォーム間で再利用可能で構造的な設計が可能となり、グリッドコンピューティング環境における開発の厳密さと保守性が著しく向上する。

ABSTRACT

As a consequence to the hype of Grid computing, such systems have seldom been designed using formal techniques. The complexity and rapidly growing demand around Grid technologies has favour the use of classical development techniques, resulting in no guidelines or rules and unstructured engineering processes. This paper advocates a formal approach to Grid applications development in an effort to contribute to the rigorous development of Grids software architectures. This approach addresses cross-platform interoperability and quality of service; the model-driven paradigm is applied to a formal architecture-centric engineering method in order to benefit from the formal semantic description power in addition to model-based transformations. The result of such a novel combined concept promotes the re-use of design models and eases developments in Grid computing by providing an adapted development process and ensuring correctness at each design step.

研究の動機と目的

• グリッドサービス開発における形式的メソドロジーの欠如により、しばしば非構造的で誤りの多い工学的プロセスが生じるのを是正すること。
• 形式的でアーキテクチャ中心のアプローチを通じて、グリッドコンピューティングにおけるクロスプラットフォーム相互運用性とサービス品質を向上させること。
• モデル駆動技術を用いて、グリッドアプリケーションのための構造的で再利用可能な開発プロセスを確立すること。
• 形式的意味論とモデル変換を活用して、各設計段階での正しさを保証すること。
• 進化するグリッドソフトウェアアーキテクチャにおける複雑さを低減し、保守性を向上させること。

提案手法

• 本アプローチは、明確な意味論を備えたグリッドサービス仕様を定義するための形式的アーキテクチャ中心のモデリングフレームワークを採用する。
• モデル駆動型工学の原則を適用し、高水準の設計モデルから実装アーティファクトを生成するためのモデル変換を用いる。
• 設計ライフサイクル全体を通じて一貫性と正しさを保証するために、形式的意味記述を用いる。
• プラットフォーム固有の詳細を変換ルールに抽象化することで、プラットフォーム非依存性を実現する。
• 相互運用性とサービス品質要件を、モデリングフレームワーク内に制約としてエンコードする。
• 各設計段階での検証を強制する開発ライフサイクルによって、プロセスを支援する。

実験結果

リサーチクエスチョン

• RQ1 形式的モデリング技法をどのように効果的にグリッドサービス工学に適用することで、システムの正しさを向上させられるか？
• RQ2 モデル駆動型開発は、異種グリッドプラットフォーム間でどのように相互運用性を向上させられるか？
• RQ3 モデル変換は、形式的設計からグリッドサービス実装を自動的かつ信頼性高く生成可能か？
• RQ4 サービス品質要件は、どのように体系的に捉えられ、グリッドサービスアーキテクチャで強制されるか？
• RQ5 アドホックな開発に比べて、形式的でアーキテクチャ中心のアプローチは、グリッドコンピューティングにおいてどのような利点を提供するか？

主な発見

• 提案されたモデル駆動型アプローチにより、形式的意味論を用いたグリッドサービスの体系的仕様化が可能となり、設計の曖昧さが低減される。
• モデル変換により、高水準の設計モデルから実装コードを自動生成できるため、開発効率が向上する。
• 形式的検証を各設計ステップで実施することで、正しさが保証され、ランタイムエラーが最小限に抑えられる。
• プラットフォーム固有の懸念を変換ルールに抽象化することで、クロスプラットフォーム相互運用性が向上する。
• サービス品質特性が明示的にモデリングされ、強制されるため、信頼性の高いサービスコンポジションが可能になる。
• 本アプローチにより、複数のグリッドサービスプロジェクトにわたる設計モデルの再利用が促進され、開発のオーバーヘッドが低減される。