| 講演名 | 2018-01-25 ArchiMateによるモデルベースディペンダビリティの提案 山本 修一郎(名大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 従来は，アーキテクチャと保証ケースを独立に作成する必要があった．本稿では，ArchiMateを用いてアーキテクチャと保証ケースを対応付けて作成するモデルベースディペンダビリティ手法を提案する．本手法により，異なる図式を扱うという，認知および操作ギャップを減少できるので，効率的にディペンダビリティを保証できる. |
| 抄録(英) | Traditional assurance approaches independently develop assurance cases for architecture diagrams. This paper proposes a new method, Model Based Dependability, to develop both assurance case and architecture in the same diagrams by using ArchiMate. MBD enables to efficiently assure dependability by reducing the cognition and operation gaps caused by manipulating different diagrams such as assurance cases and architecture diagrams. |
| キーワード(和) | モデルベースディペンダビリティ / 保証ケース / アーキテクチャ / ArchiMate |
| キーワード(英) | Model Based Dependability / Assurance case / Architecture / ArchiMate |
| 資料番号 | KBSE2017-35 |
| 発行日 | 2018-01-18 (KBSE) |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2018/1/25(から2日開催) |
| 開催地（和） | 機械振興会館 |
| 開催地（英） | Kikai-Shinko-Kaikan Bldg. |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 委員長氏名（和） | 金田 重郎(同志社大) |
| 委員長氏名（英） | Shigeo Kaneda(Doshisha Univ.) |
| 副委員長氏名（和） | 粂野 文洋(日本工大) |
| 副委員長氏名（英） | Fumihiro Kumeno(Nippon Inst. of Tech.) |
| 幹事氏名（和） | 岩田 一(神奈川工科大) / 櫻井 孝平(金沢大) |
| 幹事氏名（英） | Hajime Iwata(Kanagawa Inst. of Tech.) / Kohei Sakurai(Kanazawa Univ.) |
| 幹事補佐氏名（和） | 猿渡 卓也(NTT) / 木村 功作(富士通研) |
| 幹事補佐氏名（英） | Takuya Saruwatari(NTT) / Kosaku Kimura(Fujitsu labs.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ArchiMateによるモデルベースディペンダビリティの提案 |
| サブタイトル（和） | |
| タイトル（英） | Proposal on Model Based Dependability using ArchiMate |
| サブタイトル（和） | |
| キーワード(1)（和/英） | モデルベースディペンダビリティ / Model Based Dependability |
| キーワード(2)（和/英） | 保証ケース / Assurance case |
| キーワード(3)（和/英） | アーキテクチャ / Architecture |
| キーワード(4)（和/英） | ArchiMate / ArchiMate |
| 第 1 著者 氏名（和/英） | 山本 修一郎 / Shuichiro Yamamoto |
| 第 1 著者 所属（和/英） | 名古屋大学(略称：名大) Nagoya University(略称：Nagoya Univ.) |
| 発表年月日 | 2018-01-25 |
| 資料番号 | KBSE2017-35 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | KBSE-414 |
| ページ範囲 | pp.19-24(KBSE), |
| ページ数 | 6 |
| 発行日 | 2018-01-18 (KBSE) |