[論文レビュー] Diagramming the Class Diagram: Toward a Unified Modeling Methodology

Sabah Al‐Fedaghi|arXiv (Cornell University)|Sep 30, 2017

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

ひとこと要約

本稿では、UMLクラス図の図式的表現を拡張し、属性フローを統合することで、動的挙動および制御をモデル化する手法を提案する。静的メソッド一覧にとどまらない、動的挙動の表現を可能にする。グラフ理論の原則を用いて、ソフトウェア設計および分析における明快さと表現力の向上を図る統一的モデリング手法を提示する。特に、複雑なシステムにおいて顕著である。

ABSTRACT

The object-oriented class is, in general, the most utilized element in programming and modeling. It is employed throughout the software development process, from early domain analysis phases to later maintenance phases. A class diagram typically uses elements of graph theory, e.g., boxes, ovals, lines. Many researchers have examined the class diagram layout from different perspectives, including visibility, juxtaposability, and aesthetics. While software systems can be incredibly complex, class diagrams represent a very broad picture of the system as a whole. The key to understanding of such complexity is use of tools such as diagrams at various levels of representation. This paper develops a more elaborate diagrammatic description of the class diagram that includes flows of attributes, thus providing a basic representation for specifying behavior and control instead of merely listing methods.

研究の動機と目的

• 従来のクラス図が動的挙動および制御フローを表現する点で抱える制限を解消すること。
• 属性フローの統合により、クラス図の表現力を高め、システムの挙動をモデル化すること。
• 開発フェーズ全体にわたり一貫性がありスケーラブルなソフトウェア設計を支援する統一的モデリング手法の構築。
• グラフ理論の原則をレイアウトおよび構造に適用することで、図の可読性および保守性を向上させること。
• オブジェクト指向システムにおける静的クラスモデリングと動的挙動仕様の間のギャップを埋めること。

提案手法

• ノード、エッジ、接続性といったグラフ理論の概念を用いて、クラス図を構造的グラフとしてモデル化する。
• 属性フロー表現を導入し、クラス間のデータ伝搬および制御依存関係を視覚化する。
• 標準のUMLクラス図構文を拡張し、属性の方向性を持つフローを追加することで、挙動モデリングを可能にする。
• 可視性および隣接配置ルールを用いて図のレイアウトを最適化し、可読性を向上させる。
• 静的および動的側面を両立する統一的モデリング構成へのマッピングを形式化したフレームワークを提案する。
• 視覚的クリンチを低減し、複雑なシステムの理解を促進するため、図のレイアウトに美的原則を適用する。

実験結果

リサーチクエスチョン

• RQ1 どのようにすれば、メソッド一覧にとどまらない挙動的側面をクラス図に統合できるか？
• RQ2 オブジェクト指向システムにおける制御およびデータ依存関係のモデリングにおいて、属性フローは果たす役割は何か？
• RQ3 グラフ理論の原則は、クラス図の明快さと構造的整合性をどの程度向上させ得るか？
• RQ4 静的および動的モデリング側面を統合する統一的モデリング手法をどのように確立できるか？
• RQ5 フローに基づく表現をクラス図に拡張することで、ソフトウェアの保守および分析にどのような実用的影響が生じるか？

主な発見

• 属性フローのクラス図への統合により、データおよび制御依存関係の明示的モデリングが可能となり、挙動の表現力が向上する。
• グラフ理論に基づくレイアウトにより、大規模システムにおける図の可読性が向上し、視覚的複雑性が低減する。
• 提案手法は、分析から保守まで、ソフトウェア開発フェーズ全体にわたり一貫したモデリングを支援する。
• 拡張されたクラス図表現により、別個の挙動図が不要な状態で、システムの挙動をよりよく理解できるようになる。
• 明快さと保守性の向上を実証したため、本手法は複雑なソフトウェアシステムにおいて実用的応用が可能である。
• 本手法は、静的および動的モデリングを統合する単一で整合性のある図式的フレームワークを構築する基盤を提供する。