| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2013-08-21 14:30 CPNによるUMLクラス図とステートマシン図間の整合性検証 ○小原正義・新川芳行（龍谷大）  SWIM2013-7 |
|
| 抄録 | （和） | 統一モデリング言語であるUML(Unified Modeling Language)は大規模ソフトウェア開発の標準手法として定着しつつあるが、目的ごとに表記法や意味の異なるダイアグラムを使用するため、統一感の乏しいモデルや仕様が作成され、不整合や矛盾を含んだものが作り出される可能性がある。本研究では、システムの構造面を表すクラス図と動作面を表すステートマシン図間の整合性を検証するものである。モデル間の形式的な整合性検証のために、本研究では、カラーペトリネット(CPN)を用いる。CPNでの検証を可能にするために、クラス図及びステートマシン図をCPNに変換し、これを元に2つの図の整合性検証を行う。 |
| （英） | UML (Unified Modeling Language), which is used for analysis and design in software development, is recently recognize as a de facto standard. However, we have to use different kinds of diagrams, syntactically and semantically, for different viewpoints of the target domain. Therefore, models and specifications in ununified forms are yielded to possibility include inconsistency and contradictions. This paper proposes a formal way to validate the consistency between class diagrams and statemachine diagrams, which represent the structural aspects and behavioral aspects respctively.We use Colored Petri Nets (CPN) in order to validate the consistency in the formal way.Class diagrams and statemachine diagrams are converted into CPN diagrams to enable the validation in the form of CPN. |
|
| キーワード | （和） | UML / CPN / 整合性 / / / / / |
| （英） | UML / CPN / Consistency / / / / / | |
| 文献情報 | 信学技報, vol. 113, no. 181, SWIM2013-7, pp. 9-13, 2013年8月. | |
| 資料番号 | SWIM2013-7 | |
| 発行日 | 2013-08-14 (SWIM) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SWIM2013-7 |
|
| 研究会情報 | |
| 研究会 | SWIM |
| 開催期間 | 2013-08-21 - 2013-08-21 |
| 開催地（和） | 宮城大学 仙台駅前AER (アエル) サテライトキャンパス |
| 開催地（英） | Miyagi Univ. Satellite Campus |
| テーマ（和） | インタプライズモデル化，一般 |
| テーマ（英） | Interprise modeling, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | SWIM |
| 会議コード | 2013-08-SWIM |
| 本文の言語 | 日本語 |
| タイトル（和） | CPNによるUMLクラス図とステートマシン図間の整合性検証 |
| サブタイトル（和） | |
| タイトル（英） | Consistency verification between UML class and statemachine diagrams using CPN |
| サブタイトル（英） | |
| キーワード(1)（和/英） | UML / UML |
| キーワード(2)（和/英） | CPN / CPN |
| キーワード(3)（和/英） | 整合性 / Consistency |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 小原 正義 / Masayoshi Kohara / コハラ マサヨシ |
| 第1著者 所属（和/英） | 龍谷大学 (略称： 龍谷大) Ryukoku University (略称： Ryukoku Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 新川 芳行 / Yoshiyuki Shinkawa / シンカワ ヨシユキ |
| 第2著者 所属（和/英） | 龍谷大学 (略称： 龍谷大) Ryukoku University (略称： Ryukoku Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2013-08-21 14:30:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SWIM |
| 資料番号 | SWIM2013-7 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | no.181 |
| ページ範囲 | pp.9-13 |
| ページ数 | 5 |
| 発行日 | 2013-08-14 (SWIM) |
[研究会発表申込システムのトップページに戻る]