| 講演名 | 2006-01-27 モジュール合成を用いたソフトウェア設計における仕様の充足性検証に関する考察(コンカレントシステム, 一般) 雷 源凱, 葛 崎偉, 中田 充, 斗納 宏敏, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 現在, 大規模なシステムを信頼性が確認されたモジュールを合成することで実現することが多く行われている.その際に, 個々のモジュールやモジュールを合成して実現したシステム全体が仕様書を満たしているか否かを検証する必要がある.本論文では, 仕様書をモジュールの接続関係と特定のモジュール接続箇所でのデータのドメインを規定したものと考え, 各モジュール固有の入出力データのドメインと仕様書に記載されているデータドメインを用いて, 合成したシステムがその仕様書を満たしているか否かを検証する手法を提案する. |
| 抄録(英) | Nowadays large scale software systems are usually designed through composing modules whose reliability has been confirmed. In such software designing, it is quite important to verify if individual modules and the software systems composed by these modules satisfy given specifications. In this paper, specifications of software systems are supposed to include (i) connection relations between modules, (ii) the data domain required on some specific connection points of modules. We propose a method on how to verify if such composed systems satisfy given specifications by utilizing the input and output data domain of individual modules and the data domain written in the specifications. |
| キーワード(和) | ソフトウェア設計 / モジュール合成 / 仕様検証 / 仕様ドメイン / 部品規定ドメイン / 正規ドメイン |
| キーワード(英) | Software Design / Module Composition / Specification Satisfaction / Specifications Domain / Parts Regulation Domain / Proper Domain |
| 資料番号 | CST2005-43 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2006/1/20(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | モジュール合成を用いたソフトウェア設計における仕様の充足性検証に関する考察(コンカレントシステム, 一般) |
| サブタイトル（和） | |
| タイトル（英） | On Verification of Specification Satisfaction for Software Designed by Module Composition |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソフトウェア設計 / Software Design |
| キーワード(2)（和/英） | モジュール合成 / Module Composition |
| キーワード(3)（和/英） | 仕様検証 / Specification Satisfaction |
| キーワード(4)（和/英） | 仕様ドメイン / Specifications Domain |
| キーワード(5)（和/英） | 部品規定ドメイン / Parts Regulation Domain |
| キーワード(6)（和/英） | 正規ドメイン / Proper Domain |
| 第 1 著者 氏名（和/英） | 雷 源凱 / Yuan Kai LEI |
| 第 1 著者 所属（和/英） | 山口大学大学院教育学研究科 Graduate School of Education, Yamaguchi University |
| 第 2 著者 氏名（和/英） | 葛 崎偉 / Qi Wei GE |
| 第 2 著者 所属（和/英） | 山口大学教育学部 Faculty of Education, Yamaguchi University |
| 第 3 著者 氏名（和/英） | 中田 充 / Mitsuru NAKATA |
| 第 3 著者 所属（和/英） | 山口大学教育学部 Faculty of Education, Yamaguchi University |
| 第 4 著者 氏名（和/英） | 斗納 宏敏 / Hirotoshi TONOU |
| 第 4 著者 所属（和/英） | 富士通テン株式会社 Fujitsu Ten Limited |
| 発表年月日 | 2006-01-27 |
| 資料番号 | CST2005-43 |
| 巻番号（vol） | vol.105 |
| 号番号（no） | 573 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |