UMLダイアグラム間の整合性検証支援手法

DOI

書誌事項

タイトル別名
  • The verificatin support method between UML diagrams

抄録

UMLはオブジェクト指向ソフトウェア開発において，システムの分析・設計に用いられるモデリング言語である．UMLでは複数の異なるダイアグラムを用いて，システムを様々な側面から記述しモデル化を行う．<br>UMLの各ダイアグラムは互いに関連する部分を持つため，個々のダイアグラムは完全に独立してはいない．このため，ダイアグラム間で記述内容に不整合が生じる可能性がある．通常，ソフトウェア開発においてモデリング作業は複数人で行われるため，ダイアグラムを矛盾無く記述し，その状態を保つことは重要な問題となる．<br>本研究では，ダイアグラム間の対応を定義し，その定義に基づいた検査手順を示すことで整合性検査の支援を実現する．ダイアグラム間で関連する部分を明確にすることで，容易に検査を行うことを可能とする．

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1390282680500313600
  • NII論文ID
    130005006645
  • DOI
    10.11309/jssstconference.21.0.80.0
  • ISSN
    13493515
  • データソース種別
    • JaLC
    • CiNii Articles
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ