| 講演名 | 1994/11/17 抽象的順序機械型代数的仕様からのドキュメント生成システム 工藤 朋之, 石原 靖哲, 関 浩之, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本研究では,代数的仕様の部分クラスである抽象的順序機械型代数的仕様から,縮退遷移グラフ,および仕様の公理の説明文からなる,ハイパーテキスト化されたドキュメントを生成するシステムを試作している.縮退遷移グラフは,抽象的順序機械の全状態空間を対話的に分割することにより得られた,各部分状態空間の間の状態遷移を示す.これは順序機械の大局的な状態遷移を示しており,仕様の理解しやすさを向上させると考えられる.公理の説明文は,各部分状態空間からの状態遷移を説明する日本語文である.本稿では,OSIセションプロトコルの順序機械仕様に対して説明文を生成した結果についても述べる. |
| 抄録(英) | In this study,we are implementing a system which generates a document in a hypertext from an algebraic specification of an abstract sequential machine.The document consists of a reduced transition graph and natural language sentences which explain axioms in the specification.A user and the system divide the whole space of states into subspaces interactively.A reduced transition graph denotes transitions among the subspaces of states.The sentences explain transitions from each subspace of states.The document can help a user understand behavior of the abstract sequential machine defined by the given specification. |
| キーワード(和) | 抽象的順序機械 / 代数的仕様 / ドキュメント / 縮退遷移グラフ / 文生成 |
| キーワード(英) | abstract sequential machine / algebraic specifications / document / reduced transition graph / sentence generation |
| 資料番号 | SS94-35 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1994/11/17(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 抽象的順序機械型代数的仕様からのドキュメント生成システム |
| サブタイトル（和） | |
| タイトル（英） | A Document Generation System for Abstract Sequential Machine Specifications |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 抽象的順序機械 / abstract sequential machine |
| キーワード(2)（和/英） | 代数的仕様 / algebraic specifications |
| キーワード(3)（和/英） | ドキュメント / document |
| キーワード(4)（和/英） | 縮退遷移グラフ / reduced transition graph |
| キーワード(5)（和/英） | 文生成 / sentence generation |
| 第 1 著者 氏名（和/英） | 工藤 朋之 / Tomoyuki Kudoh |
| 第 1 著者 所属（和/英） | 奈良先端科学技術大学院大学情報科学研究科 Graduate School of Information Science,Nara Institute of Science and Technology |
| 第 2 著者 氏名（和/英） | 石原 靖哲 / Yasunori Ishihara |
| 第 2 著者 所属（和/英） | 奈良先端科学技術大学院大学情報科学研究科 Graduate School of Information Science,Nara Institute of Science and Technology |
| 第 3 著者 氏名（和/英） | 関 浩之 / Hiroyuki Seki |
| 第 3 著者 所属（和/英） | 奈良先端科学技術大学院大学情報科学研究科 Graduate School of Information Science,Nara Institute of Science and Technology |
| 発表年月日 | 1994/11/17 |
| 資料番号 | SS94-35 |
| 巻番号（vol） | vol.94 |
| 号番号（no） | 334 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |