| 講演名 | 2007-06-22 ドメインの形式記述と検証 有本 泰仁, 二木 厚吉, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では,OTS/CafeOBJ Methodによるドメインの形式記述とその検証についての方法を提案する.システム開発において問題の理解と解決は分けて考える必要がある.問題が何かということを理解するためには,問題が存在している実世界,つまりドメインを記述する必要があると考えられる.ドメイン記述を正しく行うためには形式手法が有効である.形式ドメイン記述の作成,そしてその検証について病院ドメインを例として説明する. |
| 抄録(英) | In this paper, we propose a methodology for describing formal domain descriptions and verifying them by using OTS/CafeOBJ Method. In the developments of systems, it is necessary to work on understanding of the problems separately from solutions. In order to understanding what is a problem, we believe that we have to describe the real world where the problem exists, i.e., the application domain. It is an effective way that applying formal methods to the describing domains. We show the formal description and the verification of the hospital domain as an example. |
| キーワード(和) | 形式手法 / ドメイン記述 / OTS/CafeOBJ Method |
| キーワード(英) | Formal Methods / Domain Description / OTS/CafeOBJ Method |
| 資料番号 | SS2007-15 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2007/6/14(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ドメインの形式記述と検証 |
| サブタイトル（和） | |
| タイトル（英） | Formal Description and Verification of Domains |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 形式手法 / Formal Methods |
| キーワード(2)（和/英） | ドメイン記述 / Domain Description |
| キーワード(3)（和/英） | OTS/CafeOBJ Method / OTS/CafeOBJ Method |
| 第 1 著者 氏名（和/英） | 有本 泰仁 / Yasuhito ARIMOTO |
| 第 1 著者 所属（和/英） | 北陸先端科学技術大学院大学 Japan Advanced Institute of Science and Technology |
| 第 2 著者 氏名（和/英） | 二木 厚吉 / Kokichi FUTATSUGI |
| 第 2 著者 所属（和/英） | 北陸先端科学技術大学院大学 Japan Advanced Institute of Science and Technology |
| 発表年月日 | 2007-06-22 |
| 資料番号 | SS2007-15 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | 99 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |