| 講演名 | 1998/8/6 仕様からの等価変換ルールの生成法 小池 英勝, 赤間 清, 宮本 衛市, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文では、等価変換モデルという新しい計算モデルを用いて仕様からプログラムを合成する新しい方法を提案する。等価変換モデルでは確定節の集合で仕様を表現するので、プログラム合成の主要な部分は確定節から新しい等価変換ルールを合成することである。ルールを合成するためにメタプログラムと呼ばれる新しい概念を導入する。メタプログラムとは(通常は無限の)プログラムを一つの表現で表すものである。メタプログラムはそれが表す全てのプログラムが等価に変換されるとき、かつ、そのときに限り等価変換されたという。等価変換ルールは等価なメタプログラムの2項組から得られる。メタプログラムはメタルールを用いて変換される。 |
| 抄録(英) | This paper proposes a new method for synthesis of programs from specifications, using a new computation model, called "Equivalent Transformation model"(ET model). In the ET model, specifications are represented by a set of(extended)definite clause, and the main part of the synthesis of programs is the generation of new equivalent transformation rules from definite clauses. In order to generate rules, a new concept of meta programs is introduced, each of which represents(usually infinite)programs by instantiation. A meta program is said to be transformed equivalently iff all the programs that are obtained from it by instatiation are equivalently transeformed. An ET rule is obtained from each pair of meta programs that are equivalent. Meta programs that are equivalent. Meta programs are transformed in term of meta rules. |
| キーワード(和) | ルール / 自動生成 / 等価変換 / 仕様 |
| キーワード(英) | rule / automatic generation / equivalent transformation / specification |
| 資料番号 | KBSE98-8 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1998/8/6(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 仕様からの等価変換ルールの生成法 |
| サブタイトル（和） | |
| タイトル（英） | A Method of Generating Equivalent Transformation Rules from Specifications |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ルール / rule |
| キーワード(2)（和/英） | 自動生成 / automatic generation |
| キーワード(3)（和/英） | 等価変換 / equivalent transformation |
| キーワード(4)（和/英） | 仕様 / specification |
| 第 1 著者 氏名（和/英） | 小池 英勝 / Hidekatsu Koike |
| 第 1 著者 所属（和/英） | 北海道大学大学院システム情報工学専攻 Hokkaido University |
| 第 2 著者 氏名（和/英） | 赤間 清 / Kiyoshi Akama |
| 第 2 著者 所属（和/英） | 北海道大学大学院システム情報工学専攻 Hokkaido University |
| 第 3 著者 氏名（和/英） | 宮本 衛市 / Eiichi Miyamoto |
| 第 3 著者 所属（和/英） | 北海道大学大学院システム情報工学専攻 Hokkaido University |
| 発表年月日 | 1998/8/6 |
| 資料番号 | KBSE98-8 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 238 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |