[論文レビュー] System-Model-Based Simulation of UML Models

Marı́a Victoria Cengarle, Jürgen Dingel+2 more|arXiv (Cornell University)|Sep 22, 2014

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

ひとこと要約

本稿では、UMLモデルのためのシステムモデルに基づくシミュレーションフレームワークを提案する。このフレームワークは、意味的基盤として数学的に定義された不完全なシステムモデルを活用することで、カスタマイズ可能な実行を可能にする。本アプローチは、プロトタイプ環境を通じて意味的変化点の実験的検証を可能とし、形式的システムモデルが、不適切な制約を課さずに柔軟かつ拡張可能なUMLシミュレーションを支える仕組みであることを示している。

ABSTRACT

Previous work has presented our ongoing e orts to define a "reference semantics" for the UML, that is, a mathematically defined system model that is envisaged to cover all of the UML eventually, and that also carefully avoids the introduction of any unwarranted restrictions or biases. Due to the use of underspecification, the system model is not executable. This paper shows how the system model can serve as the basis for a highly customizable execution and simulation environment for the UML. The design and implementation of a prototype of such an environment is described and its use for the experimentation with different semantic variation points is illustrated.

研究の動機と目的

• UMLのための形式的で数学的に定義されたシステムモデルを参照意味論として確立し、バイアスや不適切な制約を回避すること。
• 形式的システムモデルと実行可能なシミュレーションの間のギャップを、意味的変化点を通じたカスタマイズによって埋めること。
• 同じ基盤となるシステムモデルに基づいて、多様なUML意味論をサポートするプロトタイプのシミュレーション環境を設計・実装すること。
• 不完全なシステムモデルを基盤として用いることで、柔軟かつ拡張可能なUMLシミュレーションの実現可能性を示すこと。
• 制御可能でカスタマイズ可能な方法で、UML構成要素の異なる意味的解釈を実験するためのフレームワークを提供すること。

提案手法

• システムモデルは形式的数学を用いて定義され、実行制約を課さずにUML意味論を表現する。これにより、不完全な定義が可能になる。
• 意味的変化点を特定・パrameter化することで、シミュレーション中にモデル動作のカスタマイズが可能になる。
• プロトタイプのシミュレーション環境を実装し、システムモデルを意味的基盤としてUMLモデルを解釈する。
• 環境は意味的バリアントの動的設定をサポートし、UML構成要素の異なる解釈に対する実行時実験を可能にする。
• システムモデルが実行エンジンをガイドすることで、形式的意味論と整合性を保ちつつ、動作の柔軟性を確保する。
• 形式的意味論と実行論理を分離することで、モジュラーな拡張と意味的バリアントのプラグインが可能になる。

実験結果

リサーチクエスチョン

• RQ1 形式的に定義された不完全なシステムモデルは、実行を制限せずにUMLシミュレーションの基盤としてどのように機能するか？
• RQ2 意味的変化点を通じてUMLモデルのカスタマイズ可能なシミュレーションを実現するためのメカニズムは何か？
• RQ3 形式的システムモデルに基づいてUMLモデルを実行するプロトタイプのシミュレーション環境を設計する際、多様な意味的解釈をどのようにサポートするか？
• RQ4 形式的システムモデルは、拡張可能かつ拡張可能なUMLシミュレーションフレームワークを実現するために果たす役割は何か？
• RQ5 意味論と実行の分離は、UMLモデル動作の柔軟な実験をどのように可能にするか？

主な発見

• システムモデルは、意図しないバイアスや制約を導入しない、しっかりとした形式的基盤をUML意味論に提供する。
• プロトタイプのシミュレーション環境は、意味的変化点の設定を可能にすることで、カスタマイズ可能な実行を成功裏に実現している。
• コアのシステムモデルを変更せずに、UML構成要素の異なる解釈の実験が可能になる。
• システムモデルにおける不完全性の使用により、シミュレーション動作の最大限の柔軟性を保ちつつ、形式的正しさを維持できる。
• フレームワークは、形式的システムモデルが実用的なUMLシミュレーション環境を効果的に支えることができることを示している。
• プロトタイプは、1つの形式的モデルを用いて、設定によって複数の異なるシミュレーション動作をサポートできることが実証された。