制約指向に基づいたUMLモデルの不整合検出・解消手法の提案

佐々木, 亨; 岡野, 浩三; 楠本, 真二

電子情報通信学会論文誌D, 2007, J90-D(4), 1005-1013

Number of Access:178（2025-04-30 13:13 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/27447

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
IEICE_J90-D_4_1005 pdf None 361 KB 151 2014.04.11  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
制約指向に基づいたUMLモデルの不整合検出・解消手法の提案
Consistency Management of UML Model Based on Constraint Rules and Repair Actions
セイヤク　シコウ　ニ　モトヅイタ　UML　モデル　ノ　フセイゴウ　ケンシュツ　カイショウ　シュホウ　ノ　テイアン
Creator
NRID
1000080292308 1000080292308
CreatorName
佐々木, 亨 ; ササキ, トオル ; Sasaki, Toru
NRID
1000070252632 1000070252632
CreatorName
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
CreatorName
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
Subject
UML
制約指向
静的整合性
XPath
XMI.difference
Abstract
UML（Unified Modeling Language）では複数種類のダイアグラムを用いて，システムを複数の異なる視点から表現できるが，設計者が記述した異なる種類のダイアグラム間で不整合が生じることがある．本研究では，記述されたUMLモデルの各構成要素間が満たすべき静的な整合性をチェックし，不整合の検出とその不整合の解消動作を導出，実行するための手法を提案する．本提案手法では制約指向のアプローチに基づき，XMI（XML Metadata Interchange）形式で保存されたUMLダイアグラムの構成要素が満たすべき制約式と，それらの違反時に実行すべき解消動作を，あらかじめ規則として記述し与えておく．これらの記述方法として，XPathとXMI. difference表記を用いた記述文法を与える．これらの記述に基づき，整合性検査，不整合要素の検出と解消動作の導出，実行を繰り返すことで，不整合解消動作の侯補をユーザに提示することができる．提案手法を実装したツールをDrinkMakerの例題に適用した結果，本手法がUMLダイアグラムの修正支援として有効であることが確認できた．
Publisher
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title
電子情報通信学会論文誌D
Volume (Issue)
J90-D(4)
Page
1005-1013
Date of Issued
2007-04-01
Language
Japanese
Handle URL
https://hdl.handle.net/11094/27447
PISSN
18804535
NCID
AA12099634
Relation.references
URI
http://search.ieice.org/
Access Rights
open access
CopyRight
© （社）電子情報通信学会 2007
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article