|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-2006 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/8438
|
| タイトル: | UML図面群の変更波及解析に利用可能な依存関係の自動生成法 |
| 著者: | 小谷, 正行
落水, 浩一郎 |
| 発行日: | 2006-02-07 |
| 出版者: | 北陸先端科学技術大学院大学情報科学研究科 |
| 誌名: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| 巻: | IS-RR-2006-002 |
| 開始ページ: | 1 |
| 終了ページ: | 20 |
| 抄録: | 本論文では、UML1.5版で定義されている依存関係のプリミティブなセマンティクスを検討することにより、変更波及解析に有用な依存関係(情報共有、詳細化、作成順序、生存従属、コピーの5つ)を新たに定義する。また、そのような依存関係をメタモデルを利用して自動生成する、Model-based Translation手法を提案する。メタモデルは、メタ関係とメタ要素からなり、メタ関係は上記5つの新しい依存関係である。メタ関係の両端にくるソースとターゲットの型を検討することにより、メタ要素を定義する。生成法の概要は以下の通りである。照合規則によって、比較対象となる2つのUMLモデル要素を抽出し、抽出されたUMLモデル要素がどのメタ要素に属するかを判定する。特定されたメタ要素間に定義されているメタ関係のインスタンスにより、入力されたUMLモデル要素間に適切な依存関係を生成する。40枚の図面からなるCOMET法によるエレベータ制御システムの事例研究を題材として、本論文で提案した新しい依存関係と変換手法の有用性を評価する。In this paper, we define a se t of new dependency relationships by analyzing the primitive semantics of thirteen stereotypes related to dependency relationships of UML 1.5. Those are information sharing, refinement, order of production, existence dependency, and copy. We propose a model-based translation method that generates a new dependency relationship between input UML modeling elements by using a meta model. The meta model consists of meta relationships and meta elements. The meta relationships are the new relationships described above. The meta elements are defined by examining the types of source and target located at both ends of a meta relationship respectively. The outline of the translation algorithm is as follows: (1) extract two UML modeling elements to be compared by matching rule; (2) decide the meta element that the extracted UML modeling element belongs for each UML modeling element; (3) generate a proper dependency relationship between input UML modeling elements by using the instance of the meta relationship defined between two decided meta elements. We evaluate effectiveness of new dependency relationships and generating method proposed in this paper by examining the forty diagrams produced though a case study of elevator control system development by COMET method. |
| URI: | http://hdl.handle.net/10119/8438 |
| 資料タイプ: | publisher |
| 出現コレクション: | IS-RR-2006
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IS-RR-2006-002.pdf | | 1385Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
