| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2010-11-19 15:25 時間制約を含むUMLシーケンス図の検証手法 ○安田佳宏・新川芳行（龍谷大）  SWIM2010-23 |
|
| 抄録 | （和） | ソフトウェアの仕様検証は，構造や機能に焦点を当てた静的検証，振る舞いに焦点を当てた動的検証，そして時間制約の検証が独立に行われることが多く，検証間の相互関係が明確でないため，仕様に含まれる矛盾を検出できない場合がある．本論文では，振る舞いおよび時間制約を記述したUMLシーケンス図と構造・機能を記述したUMLクラス図を形式化することによって相互関係を明確にし，検証をより正確に行える手法を提案する． |
| （英） | Verification of the system specification is usually performed independently from three major different viewpoints, that is, "static" which focuses on the structure and function, "dynamic" which focuses on the behavior, and "time constraints". Such approach might miss the inconsistency within the specifications during the verification, because of the insufficient understanding of the interrelationships between these viewpoints. This paper proposes a verification process, which make it possible to ensure the consistency of the specifications, by means of revealing the interrelationships between the above three viewpoints, through formalization of UML class and sequence diagrams, which represent structural/functional and behavioral/temporal aspects respectively. | |
| キーワード | （和） | UML / シーケンス図 / クラス図 / 時間オートマトン / 形式手法 / / / |
| （英） | UML / sequence diagram / class diagram / timed automaton / formal methods / / / | |
| 文献情報 | 信学技報, vol. 110, no. 302, SWIM2010-23, pp. 39-44, 2010年11月. | |
| 資料番号 | SWIM2010-23 | |
| 発行日 | 2010-11-12 (SWIM) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SWIM2010-23 |
|
| 研究会情報 | |
| 研究会 | SWIM |
| 開催期間 | 2010-11-19 - 2010-11-19 |
| 開催地（和） | 東海大学（高輪） |
| 開催地（英） | Tokai Univ. Takanawa Campus(Tokyo) |
| テーマ（和） | ワークショップ(査読付き)、 「次世代経営情報技術、その他」 |
| テーマ（英） | Workshop on Enterprise information Technology in next generation |
| 講演論文情報の詳細 | |
| 申込み研究会 | SWIM |
| 会議コード | 2010-11-SWIM |
| 本文の言語 | 日本語 |
| タイトル（和） | 時間制約を含むUMLシーケンス図の検証手法 |
| サブタイトル（和） | |
| タイトル（英） | Verification of UML Sequence Diagrams with Time Constraints |
| サブタイトル（英） | |
| キーワード(1)（和/英） | UML / UML |
| キーワード(2)（和/英） | シーケンス図 / sequence diagram |
| キーワード(3)（和/英） | クラス図 / class diagram |
| キーワード(4)（和/英） | 時間オートマトン / timed automaton |
| キーワード(5)（和/英） | 形式手法 / formal methods |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 安田 佳宏 / Yoshihiro Yasuda / ヤスダ ヨシヒロ |
| 第1著者 所属（和/英） | 龍谷大学 (略称： 龍谷大) Ryukoku University (略称： Ryukoku Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 新川 芳行 / Yoshiyuki Shinkawa / |
| 第2著者 所属（和/英） | 龍谷大学 (略称： 龍谷大) Ryukoku University (略称： Ryukoku Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2010-11-19 15:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SWIM |
| 資料番号 | SWIM2010-23 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | no.302 |
| ページ範囲 | pp.39-44 |
| ページ数 | 6 |
| 発行日 | 2010-11-12 (SWIM) |
[研究会発表申込システムのトップページに戻る]