| 講演名 | 1996/7/29 プログラム仕様から手続き型プログラムへの変換の一定式化 Efendy Lukman, 橋本 正明, 廣田 豊彦, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ソフトウエアの生産性や信頼性を向上させるための一方策として, 著者らは理解性の良い概念モデルとしてERモデル (Entity-Relationship Model) を採用し計算をデータフローで表す理解性と拡張性にすぐれた仕様記述言語PSDLを提案した. また, 非手続き的なPSDL記述のプログラム仕様を手続き型プログラムヘ変換する方法を提案した. しかL, 基本的な部分の提案に留まっており, まだ多くの課題が残っている. 例えば, 再帰的処理や複雑な入出力データ構造の処理プログラム変換方法がまだ確立していない. これらの課題を解決するには, 変換法の厳密な議論が必要である. そこで, 数学的な概念でプログラムを表す表示意味論を用いて, PSDLヘ数学的に厳密な意味を与える. また, プログラム仕様から手続き型プログラムへの変換の定式化について述べる. |
| 抄録(英) | As a method for improving software productivity and reliability, the authors have proposed comprehensible and extensible specifications description language PSDL. The PSDL adopted the ER (Entity-Relationship) model as a conceptual model, and data flow to express its computations. The authors also have already proposed a transformation method from PSDL program specifications to a procedural program. But, the proposition remains in the basic parts, and still have some problems. For example, recursive processing and complicated input-output data structure processing are still not established. To solve these problems, rigorous discussions of the transformation method are needed. Therefore, we use denotational semantics which denote a program using the mathematical concepts to give the rigorous semantics to PSDL. This paper also describes a formalization of transformation from program specifications to procedural program. |
| キーワード(和) | ERモデル / データフロー / 表示意味論有向グラフ / 構造不一致 |
| キーワード(英) | ER model / Data flow / Denotational semantics / Directed graph / Structure clash |
| 資料番号 | KBSE-96-8 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1996/7/29(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プログラム仕様から手続き型プログラムへの変換の一定式化 |
| サブタイトル（和） | |
| タイトル（英） | A Formalization of Transformation from Program Specification to Procedural Program |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ERモデル / ER model |
| キーワード(2)（和/英） | データフロー / Data flow |
| キーワード(3)（和/英） | 表示意味論有向グラフ / Denotational semantics |
| キーワード(4)（和/英） | 構造不一致 / Directed graph |
| 第 1 著者 氏名（和/英） | Efendy Lukman / Lukman Efendy |
| 第 1 著者 所属（和/英） | 九州工業大学情報工学部 Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology |
| 第 2 著者 氏名（和/英） | 橋本 正明 / Masaaki Hasimoto |
| 第 2 著者 所属（和/英） | 九州工業大学情報工学部 Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology |
| 第 3 著者 氏名（和/英） | 廣田 豊彦 / Toyohiko Hirota |
| 第 3 著者 所属（和/英） | 九州工業大学情報工学部 Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology |
| 発表年月日 | 1996/7/29 |
| 資料番号 | KBSE-96-8 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 210 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |