| 講演名 | 1993/9/21 述語論理型仕様を用いた部品検索とその評価 栗野 俊一, 松澤 裕史, 深澤 良彰, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ソフトウェア部品の再利用を行なうためには、部品を蓄積したデータベースとそれを管理するシステムが必要である。このシステムの重要な機能は、部品という複雑な対象に対して、利用者の要求を満たす部品を正確に高速にかつ検索することである。本論文では、まず、形式的仕様を用いる検索手法を示し、これを用いることによって、部品データベースシステムにおける、最も重要な機能である正確な検索が行なえることを示す。そして、この検索を高速に実行するための手法を示す。また、検索手法の応用として、部品の自動的な合成が検索と同じ枠組で実行可能であることを示す。最後に、これの手法を実験的なデータベースに適用した結果について報告する。 |
| 抄録(英) | In order to reuse software components,a database which contains many components and its management system are necessary.Most important function of this kind of systems is to retrieve a component correctly and speedily which satisfies user′s requests.S ince programs are very complex objects as data in database,this function is indispensable.In this paper,a retrieval method which utilizes a formal specification is described.By this method, correct retrieval can be realized.Also,a speedy retrieval algorithm is shown.An automatic component synthesis method is reported as the application of this retrieval method.Lastly, experimental results are described. |
| キーワード(和) | ソフトウェア部品 / 部品検索 / 部品合成 / 再利用 / 部品データベース / 形式 的仕様 |
| キーワード(英) | Software Component / Component Retrieval / Component Synthesis / Reuse / Conponent Database / Formal Specification |
| 資料番号 | SS93-28 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1993/9/21(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 述語論理型仕様を用いた部品検索とその評価 |
| サブタイトル（和） | |
| タイトル（英） | Components Searching by Formal Specification and its Evaluation |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソフトウェア部品 / Software Component |
| キーワード(2)（和/英） | 部品検索 / Component Retrieval |
| キーワード(3)（和/英） | 部品合成 / Component Synthesis |
| キーワード(4)（和/英） | 再利用 / Reuse |
| キーワード(5)（和/英） | 部品データベース / Conponent Database |
| キーワード(6)（和/英） | 形式 的仕様 / Formal Specification |
| 第 1 著者 氏名（和/英） | 栗野 俊一 / Syunichi Kurino |
| 第 1 著者 所属（和/英） | 日本大学メディア科学研究室 Media Science Laboratory,Nihon University |
| 第 2 著者 氏名（和/英） | 松澤 裕史 / Hirofumi Matsuzawa |
| 第 2 著者 所属（和/英） | 日本アイ・ビー・エム東京基礎研究所 Tokyo Research Laboratory,IBM Research |
| 第 3 著者 氏名（和/英） | 深澤 良彰 / Yoshiaki Fukazawa |
| 第 3 著者 所属（和/英） | 早稲田大学理工学部 School of Science and Engineering,Waseda University |
| 発表年月日 | 1993/9/21 |
| 資料番号 | SS93-28 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 244 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |