| 講演名 | 1998/11/6 ストリーム指向システム開発のための対話的仕様記述環境 唐澤 圭, 岩田 誠, 村上 孝三, 寺田 浩詔, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | システムの構造と機能を直観的に理解できる図的な表現方法は、システムの機能仕様の多くに取り入れられている。しかし、現状では、プログラムとして構想し記述する段階で、問題の持つ構造を素直に反映することが困難な文章型記述への写像を余儀なくされる。本稿では、図的な仕様が最も効果的な分散型のストリーム処理を対象に、システムエンジニアが図的な仕様記述段を階的に詳細化することを助ける対話的な仕様変換手法を提案する。そこでは、部分的な仕様記述図が副作用なく解釈できる図的な仕様の特徴を利用した加法的変換手法を採用する。最後には、本手法をCGの位置処理を設計する過程を通じて、その実用性を例証する。 |
| 抄録(英) | Diagrammatic representations are commonly employed in most of the system function specifications, because it is important to intuitively comprehend the structure and functionality of the system. In current software development environment, however, programmers are usually forced to rewrite these specifications into parallel and distributed program codes having totally different structure by using a sequential-assignment-based language. This paper proposes an interactive transformation scheme whereby the system engineers can gradually refine diagrammatic specifications. The scheme proposed is described with special emphasis on its application to stream-oriented processing in which diagrammatic specifications are effective. By utilizing the feature of partial interpretation of diagrams, the scheme is based on an incremental manner. Finally, practicability of the methodology is illustrated through a design process of a geometric calculation for computer graphics. |
| キーワード(和) | ストリーム処理 / 図的仕様記述 / 対話的環境 / 一対一解釈手法 / 部分的検証手法 / 3次元CG処理 |
| キーワード(英) | stream-oriented processing / diagrammatic specification / interactive environment / one-to-one interpretation / 3D CG processing |
| 資料番号 | KBSE98-32 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1998/11/6(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ストリーム指向システム開発のための対話的仕様記述環境 |
| サブタイトル（和） | |
| タイトル（英） | An Interactive Specification Environment for Stream-Oriented Processing |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ストリーム処理 / stream-oriented processing |
| キーワード(2)（和/英） | 図的仕様記述 / diagrammatic specification |
| キーワード(3)（和/英） | 対話的環境 / interactive environment |
| キーワード(4)（和/英） | 一対一解釈手法 / one-to-one interpretation |
| キーワード(5)（和/英） | 部分的検証手法 / 3D CG processing |
| キーワード(6)（和/英） | 3次元CG処理 |
| 第 1 著者 氏名（和/英） | 唐澤 圭 / Kei Karasawa |
| 第 1 著者 所属（和/英） | 大阪大学大学院工学研究科情報システム工学専攻 Department of Information Systems Engineering, Graduate School of Engineering, Osaka University |
| 第 2 著者 氏名（和/英） | 岩田 誠 / Makoto Iwata |
| 第 2 著者 所属（和/英） | 高知工科大学情報システム工学科 Department of Information Systems Engineering, Kochi University of Technology |
| 第 3 著者 氏名（和/英） | 村上 孝三 / Koso Murakami |
| 第 3 著者 所属（和/英） | 大阪大学大学院工学研究科情報システム工学専攻 Department of Information Systems Engineering, Graduate School of Engineering, Osaka University |
| 第 4 著者 氏名（和/英） | 寺田 浩詔 / Hiroaki Terada |
| 第 4 著者 所属（和/英） | 高知工科大学情報システム工学科 Department of Information Systems Engineering, Kochi University of Technology |
| 発表年月日 | 1998/11/6 |
| 資料番号 | KBSE98-32 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 388 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |