[論文レビュー] Dynamic System Adaptation by Constraint Orchestration

Lpj Groenewegen, de Ep Erik Vink|ArXiv.org|Nov 21, 2008

Model-Driven Software Engineering Techniques参考文献 27被引用数 4

ひとこと要約

本論文では、パラダイムの制約オchestrationモデルを用いて、実行時において動的に整合性を保ったままソフトウェアアーキテクチャを移行可能にする再利用可能なコンponent、McPalを提案する。McPalは、コンポーネント動作のタイムリーな再構成を調整することで、停止状態をとらずに継続的な実行を保証し、予期しないアーキテクチャの進化中に変化するシステム状態においても動的整合性を維持する。

ABSTRACT

For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fly through Paradigm's constraint orchestration, also for originally unforeseen evolution. UML-like diagrams visually supplement such migration, as is illustrated for the case of a critical section solution evolving into a pipeline architecture.

研究の動機と目的

• 複雑で長時間実行されるシステムにおける予期しない、実行時におけるソフトウェア進化の課題に対処すること。
• 移行中に、コンポーネント、ポート、リンク、協働動作の間で整合性を保ちながら動的整合性を確保すること。
• 実行を停止せずに、予期しないアーキテクチャ変更に対してもシームレスな進化を可能にすること。
• 即時の移行フェーズと遷移のモデリングを可能にする、just-in-timeなモデリングを支援する再利用可能な調整メカニズム（McPal）を提供すること。
• 従来の移行調整の一般化を図り、リアルタイムシステムにおける任意で複雑な移行パターンをサポートすること。

提案手法

• コンポーネント、ポート、リンク、協働動作の動的動作および制約を指定するために、パラダイムの協調モデリング言語を用いる。
• 実行中に制約変更を動的にオchestrateすることで移行を管理する専用コンポーネントとしてMcPalを導入する。
• ステートマシンとトリガーを用いて、移行フェーズ（例：StartMigr, WhoFirst, Conf, Content, migrDone）のシーケンスとして移行をモデル化する。
• 制約オchestrationを適用して、段階的にコンポーネント動作を再構成することで、移行前および移行後の両状態と整合性を保証する。
• UML風の協働図、ステートマシン図、アクティビティ図を用いて、動的整合性とMcPalの協調論理を視覚的に表現する。
• ParADE環境とACPおよびmCRL2への形式的翻訳を活用して、移行経路のモデルチェックと検証を実施する。

実験結果

リサーチクエスチョン

• RQ1 予期しない変更であっても、実行を停止せずにソフトウェアシステムがどのように動的に進化できるか。
• RQ2 移行中に、コンポーネント、ポート、リンク、協働動作の動作の間で動的整合性を保つためのメカニズムは何か。
• RQ3 協調モデルは、システム動作の即時の再構成をどのようにサポートするか。
• RQ4 McPalは、多様なアーキテクチャ進化にわたる再利用可能で整合性のある移行調整をどのように実現するか。
• RQ5 形式的モデリングと検証技術は、リアルタイムシステムにおける移行プロセスの正しさを保証するためにどのように適用可能か。

主な発見

• McPalは、実行時における制約変更の動的オchestrationにより、即時の停止なしの移行を可能にする。
• パラダイムにおける制約オchestrationの使用により、安定状態および進化状態の両方で、すべての動的整合性問題タイプ（T1–T7）において一貫性のある動作が保証される。
• UMLベースの視覚的表現（協働図、ステートマシン図、アクティビティ図）は、McPalの協調および移行フェーズの理解を著しく向上させる。
• 本アプローチは、固定された協調形式に制限された従来の研究を一般化し、複雑で任意の移行パターンをサポートする。
• ACPへの翻訳とmCRL2への統合による形式的検証により、移行経路のモデルチェックが可能となり、正しさが保証される。
• McPalは、複数の独立した移行に再利用可能であり、前回の移行が完了する前にも新しい移行を開始できるため、並列的な進化が可能になる。