講演名 | 2008-11-28 アクタ関係行列によるVDM-SLの仕様記述法の検討 井部 己文, 生田 裕樹, 山本 修一郎, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 形式仕様記述が要求の追加・変更に柔軟に対応するためには要求と仕様記述との対応関係を明確にすることが重要である。本稿では要求と形式仕様記述との対応付けを明確にするため、アクタ関係行列(ARM)による要求分析を行い、ARMをもとにアクタの状態遷移を整理した状態遷移表を作成し、これをもとに形式仕様記述言語VDM-SLによる仕様記述を行う手法を提案する。 |
抄録(英) | To meet requirements change, it's important to clarify the association of the requirement and the formal specification. In this paper, we propose a method to clarify the association of the requirements and the formal specification. To clarify the association, our method analyze requirements by ARM, order actors state transition by state transition matrix based on ARM, and specification by VDM-SL based on these matrices. |
キーワード(和) | 要求分析 / アクタ関係行列 / 形式手法 / 形式仕様記述言語 / VDM-SL |
キーワード(英) | Requirements Analysis / Actor Relationship Matrix / Formal Method / Formal Specification Language / VDM-SL |
資料番号 | KBSE2008-30 |
発行日 |
研究会情報 | |
研究会 | KBSE |
---|---|
開催期間 | 2008/11/20(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
---|---|
本文の言語 | JPN |
タイトル(和) | アクタ関係行列によるVDM-SLの仕様記述法の検討 |
サブタイトル(和) | |
タイトル(英) | A method of VDM-SL specification by Actor relation matrix |
サブタイトル(和) | |
キーワード(1)(和/英) | 要求分析 / Requirements Analysis |
キーワード(2)(和/英) | アクタ関係行列 / Actor Relationship Matrix |
キーワード(3)(和/英) | 形式手法 / Formal Method |
キーワード(4)(和/英) | 形式仕様記述言語 / Formal Specification Language |
キーワード(5)(和/英) | VDM-SL / VDM-SL |
第 1 著者 氏名(和/英) | 井部 己文 / Komon Ibe |
第 1 著者 所属(和/英) | (株)NTTデータ技術開発本部システム科学研究所:九州大学大学院システム情報科学府 NTT Data Corporation Research Institute for System Science:The Graduate School of Information Science and Electrical Engineering, Kyushu University |
第 2 著者 氏名(和/英) | 生田 裕樹 / Yuuki Ikuta |
第 2 著者 所属(和/英) | 九州大学大学院システム情報科学府 The Graduate School of Information Science and Electrical Engineering, Kyushu University |
第 3 著者 氏名(和/英) | 山本 修一郎 / Shuichiro Yamamoto |
第 3 著者 所属(和/英) | (株)NTTデータ技術開発本部システム科学研究所 NTT Data Corporation Research Institute for System Science |
発表年月日 | 2008-11-28 |
資料番号 | KBSE2008-30 |
巻番号(vol) | vol.108 |
号番号(no) | 326 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |