6L-04
検証ルールの記述による拡張可能なUML図間の整合性検証ツール
○名川裕樹，小形真平，香山瑞恵，海尻賢二（信州大）
ステレオタイプにより拡張されたUMLモデルを用いた，様々な設計手法が提案されている．
しかし設計手法ごとに整合性の検証方法は異なるため，検証ツールも手法ごとに開発しなければならない．
そこで本研究では設計手法に応じた整合性検証を1つのツールで統合的に行えるように，扱えるUML図の種類とステレオタイプの種類を拡張できる検証ツールを実現する.
また拡張した内容に基づき整合性を検証するための検証ルールの記法も提案する．
検証ルールはステレオタイプや図要素名で構成される単語辞書を利用して記述される．
本論文では本ツールを研究室で行ったWebアプリケーション開発で作成されたモデルに適用し，有用性を評価する．
footer 情報処理学会 セキュリティ プライバシーポリシー 倫理綱領 著作権について