[論文レビュー] Towards a System Model for UML. The Structural Data Model

Manfred Broy, Marı́a Victoria Cengarle+1 more|arXiv (Cornell University)|Sep 22, 2014

Model-Driven Software Engineering Techniques参考文献 12被引用数 9

ひとこと要約

本論文は、UML 2.0の構造的データモデルの意味的基盤として、形式的システムモデルを提案する。主にUML 2.0の構造的データモデルに焦点を当て、オブジェクト指向で分散型のシステムを対象とする形式的意味論に基づく階層的で抽象的なフレームワークを定義する。UMLの仕様およびツールキットの厳密な基盤を提供することを目的とし、形式的手法および型理論に基づく数学的基盤に裏打ちされたモデルを通じて、UMLの構造的意味論を統一するという主な貢献を果たす。

ABSTRACT

In this document we introduce a system model as the basis for a semantic model for UML 2.0. The system model is supposed to form the core and foundation of the UML semantics definition. For that purpose the basic system is targeted towards UML. This document is structured as follows: In the rest of Section 1 we will discuss the general approach and highlight the main decisions. This section is important to understand the rest of this document. Section 2 contains the actual definition of the structural part of the system model. It is built in layers as described in Section 1. For brevity of the approach, we defer deeper discussions into the Appendix in Section 4. This document is part of a project on the formalization of the UML 2.0 in cooperation between the Queens University Kingston and the Technische Universitäten Braunschweig and München. This version 1.0 is the result of a longer effort to define the structure, behavior and interaction of object-oriented, possibly distributed systems abstract enough to be of general value, but also in sufficient detail for a semantic foundation of the UML. We also wish to thank external reviewers, and especially Gregor von Bochmann, Gregor Engels and Sébastien Gérard for their help.

研究の動機と目的

• UML 2.0の意味論のコア基盤として、形式的かつ数学的に厳密なシステムモデルを確立すること。
• UMLのクラス図およびコンポーネントモデルのコア要素を抽象化する構造的データモデルを定義すること。
• 正確で拡張可能かつ再利用可能な意味的フレームワークを提供することで、UMLの形式的仕様を支援すること。
• 明確に定義された意味的基盤を通じて、UMLモデルの一貫性あるツール支援および検証を可能にすること。
• 十分な抽象化と詳細さを兼ね備えた構造的側面に焦点を当てることで、UMLの広範な形式化に貢献すること。

提案手法

• 基本的な型から始まり、複雑な構造的構成要素へと段階的に構築する、階層的なアーキテクチャを定義する。
• 型理論および集合論的基盤を用いて、クラス、属性、関連、制約をモデル化する。
• 各レイヤーが前のレイヤーに依存する階層的構造を導入し、モジュラリティと明確性を確保する。
• UMLコンポーネントおよびクラス図に形式的意味論を適用し、構造的関係および制約を捉える。
• 集合、関数、関係などの数学的構成要素を通じて、構造的要素の意味を定義する。
• TUミュンヘンおよびクイーンズ大学キングストンの先行研究に基づき、UMLの標準および形式的手法の原則と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 どのように形式的システムモデルを構築することで、UML 2.0の意味的基盤を提供できるか？
• RQ2 UMLのクラス図およびコンポーネント図の構造的要素を正確に捉えるために必要な形式的メカニズムは何か？
• RQ3 抽象化による一般適用性と、UMLツールキットおよび検証に十分な詳細さを両立するにはどうすればよいか？
• RQ4 UML構造の意味的定義におけるモジュラリティと拡張可能性を確保するためのレイヤー戦略は何か？
• RQ5 提案されたモデルは、UMLベースのシステム設計および分析における一貫性と正しさをどのように実現するか？

主な発見

• 本論文は、数学的構成要素を用いてUML 2.0の構造的側面を形式化する階層的システムモデルを成功裏に定義した。
• モデルは、UMLのクラス図およびコンポーネント図の正確な意味的基盤を提供し、システム構造に関する形式的推論を可能にする。
• 本アプローチは抽象化と詳細さの両方をサポートしており、理論的分析および実践的ツール統合の両方に適している。
• モデルは形式的手法および型理論に基づいているため、構造的モデリングにおける一貫性と正しさが保証される。
• 本研究は、UMLの広範な形式化作業に貢献しており、構造的モデルが動作的および相互作用的意味論の前提条件として機能する。
• モデルは技術報告（TUM-I0612）として公開されており、学術機関間の共同プロジェクトの一部であるため、学術的および産業的関連性が示されている。