| 講演抄録／キーワード |
| 講演名 |
2006-06-22 16:00
クラス図とシーケンス図の間の不整合検出手法
○えるうぃんうぃどぅどぅ・大西 淳（立命館大） |
| 抄録 |
（和） |
統一モデリング言語（ＵＭＬ）をソフトウェア開発に適用することは有用であるが、UMLモデル間に生じる矛盾を放置したまま開発を進めるとソフトウェアに悪影響を及ぼすという問題がある。本論文では、UMLモデルの中でも、特にクラス図とシーケンス図に着目し、これらのモデル間に発生する矛盾を検出することによって、上記の問題の改善を狙う。クラス図とシーケンス図間に生じる矛盾は、ソフトウェアの分析段階や設計段階において起こりうる。本手法では、クラス間のメッセージパッシングやクラスのメソッド呼び出しに注目して、2つのモデル間に不整合要素がないかどうかをチェックする。このためのルールのセットを提供している。また提案手法に基づいて、ＣＳＣシステムと名づけたツールを開発した。このツールはメッセージパッシングのシーケンスを可視化することによって、矛盾を効率よく識別できる。提案手法と試作システムを具体例に基づいて説明する。 |
| （英） |
Aside of its advantages, the emerging problem in Unified Modeling Language (UML) practice is models’ inconsistency. In this paper, we are interested in the alleviation of this problem, especially in such cases of class and sequence diagram. We propose a method to identify some inconsistencies that may occur during software’s analysis and design. We compose set rules set to check whether: class – and its objects, association – its message passings, and invocated method contain some unconformities or not. To support this purification, we are developing a tool, namely CSC system. This tool will provide effective inconsistency identification as well as visualization of message passing’s sequence. |
| キーワード |
（和） |
クラス図 / シーケンス図 / UMLモデル間の矛盾検出 / / / / / |
| （英） |
class diagram / sequence diagram / inconsistency between UML models / / / / / |
| 文献情報 |
信学技報, vol. 106, no. 120, SS2006-17, pp. 25-30, 2006年6月. |
| 資料番号 |
SS2006-17 |
| 発行日 |
2006-06-15 (SS) |
| ISSN |
Print edition: ISSN 0913-5685 |
| PDFダウンロード |
|