講演抄録/キーワード |
講演名 |
2010-02-26 16:25
UMLシーケンス図における時間制約の記述とその検証 ○安田佳宏・新川芳行(龍谷大) SWIM2009-24 |
抄録 |
(和) |
UML2.0ではシーケンス図に時間制約の記述が可能となっているが, UML自体にはその検証機能がないため, 時間制約の検証は, 他のツール等により行う必要がある. 本論文では, 実時間モデル検証ツールUPPAALにより, UMLシーケンス図の時間制約検証を行う手法について述べる. UPPAALは時間オートマトンを対象とするため, UMLシーケンス図をこの形式に変換すれば, 検証が可能となる. 本論分では二つの変換手法を提案し, UPPAALでの検証を行った. |
(英) |
In UML 2.0, it is possible to describe time constraints in sequence diagrams. However it seems difficult to validate or verify the constraints, since no capability is provided by UML for this verification. Therefore, we need to use appropriate tools that can verify the time constraints. This paper presents a verification process for the time constraints in UML sequence diagrams using UPPAAL. Since UPPAAL is based on timed automata, the sequence diagrams have to be transformed into timed automata. We propse two different transformation rules for the verification. |
キーワード |
(和) |
UML / シーケンス図 / 時間オートマトン / UPPAAL / / / / |
(英) |
/ / / / / / / |
文献情報 |
信学技報, vol. 109, no. 430, SWIM2009-24, pp. 27-32, 2010年2月. |
資料番号 |
SWIM2009-24 |
発行日 |
2010-02-19 (SWIM) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SWIM2009-24 |
研究会情報 |
研究会 |
SWIM |
開催期間 |
2010-02-26 - 2010-02-26 |
開催地(和) |
機械振興会館B3-2 |
開催地(英) |
Kikai Sinkukaikan B3-2 |
テーマ(和) |
次世代経営情報技術、その他 |
テーマ(英) |
|
講演論文情報の詳細 |
申込み研究会 |
SWIM |
会議コード |
2010-02-SWIM |
本文の言語 |
日本語 |
タイトル(和) |
UMLシーケンス図における時間制約の記述とその検証 |
サブタイトル(和) |
|
タイトル(英) |
Description and Verification of Time Constrains in UML Sequence Diagrams |
サブタイトル(英) |
|
キーワード(1)(和/英) |
UML / |
キーワード(2)(和/英) |
シーケンス図 / |
キーワード(3)(和/英) |
時間オートマトン / |
キーワード(4)(和/英) |
UPPAAL / |
キーワード(5)(和/英) |
/ |
キーワード(6)(和/英) |
/ |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第1著者 氏名(和/英/ヨミ) |
安田 佳宏 / Yoshihiro Yasuda / ヤスダ ヨシヒロ |
第1著者 所属(和/英) |
龍谷大学 (略称: 龍谷大)
Ryukoku University (略称: Ryukoku Univ.) |
第2著者 氏名(和/英/ヨミ) |
新川 芳行 / Yoshiyuki Shinkawa / シンカワ ヨシユキ |
第2著者 所属(和/英) |
龍谷大学 (略称: 龍谷大)
Ryukoku University (略称: Ryukoku Univ.) |
第3著者 氏名(和/英/ヨミ) |
/ / |
第3著者 所属(和/英) |
(略称: )
(略称: ) |
第4著者 氏名(和/英/ヨミ) |
/ / |
第4著者 所属(和/英) |
(略称: )
(略称: ) |
第5著者 氏名(和/英/ヨミ) |
/ / |
第5著者 所属(和/英) |
(略称: )
(略称: ) |
第6著者 氏名(和/英/ヨミ) |
/ / |
第6著者 所属(和/英) |
(略称: )
(略称: ) |
第7著者 氏名(和/英/ヨミ) |
/ / |
第7著者 所属(和/英) |
(略称: )
(略称: ) |
第8著者 氏名(和/英/ヨミ) |
/ / |
第8著者 所属(和/英) |
(略称: )
(略称: ) |
第9著者 氏名(和/英/ヨミ) |
/ / |
第9著者 所属(和/英) |
(略称: )
(略称: ) |
第10著者 氏名(和/英/ヨミ) |
/ / |
第10著者 所属(和/英) |
(略称: )
(略称: ) |
第11著者 氏名(和/英/ヨミ) |
/ / |
第11著者 所属(和/英) |
(略称: )
(略称: ) |
第12著者 氏名(和/英/ヨミ) |
/ / |
第12著者 所属(和/英) |
(略称: )
(略称: ) |
第13著者 氏名(和/英/ヨミ) |
/ / |
第13著者 所属(和/英) |
(略称: )
(略称: ) |
第14著者 氏名(和/英/ヨミ) |
/ / |
第14著者 所属(和/英) |
(略称: )
(略称: ) |
第15著者 氏名(和/英/ヨミ) |
/ / |
第15著者 所属(和/英) |
(略称: )
(略称: ) |
第16著者 氏名(和/英/ヨミ) |
/ / |
第16著者 所属(和/英) |
(略称: )
(略称: ) |
第17著者 氏名(和/英/ヨミ) |
/ / |
第17著者 所属(和/英) |
(略称: )
(略称: ) |
第18著者 氏名(和/英/ヨミ) |
/ / |
第18著者 所属(和/英) |
(略称: )
(略称: ) |
第19著者 氏名(和/英/ヨミ) |
/ / |
第19著者 所属(和/英) |
(略称: )
(略称: ) |
第20著者 氏名(和/英/ヨミ) |
/ / |
第20著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2010-02-26 16:25:00 |
発表時間 |
30分 |
申込先研究会 |
SWIM |
資料番号 |
SWIM2009-24 |
巻番号(vol) |
vol.109 |
号番号(no) |
no.430 |
ページ範囲 |
pp.27-32 |
ページ数 |
6 |
発行日 |
2010-02-19 (SWIM) |
|