ソフトウェア構成法における発想機構の研究

1991 Fiscal Year Annual Research Report

• Project/Area Number: 03235108
• Research Institution: Nagoya University
• Principal Investigator: 阿草 清滋 名古屋大学, 工学部, 教授 (90026360)
• Co-Investigator(Kenkyū-buntansha): 坂部 俊樹 名古屋大学, 工学部, 助教授 (60111829) ; 小谷 善行 東京農工大学, 工学部, 助教授 (20111627) ; 大岩 元 豊橋技術科学大学, 工学部, 教授 (20011679)
• Keywords: 代数的仕様 / 仕様デ-タベ-ス / 自由知識獲得 / 形式的仕様 / KJ法 / 仕様直接実行 / 項書換え系 / 並行プロセス

Research Abstract

より高度なシステムの仕様化を支援するために,継承により階層化された代数的仕様の直接実現による検証,代数的仕様の類似性の定義とそれに基づく仕様ベ-スについて研究を進めた.また,プログラム理解のモデルを定義することによりソフトウェアの開発・保守に有効なソフトウェアデ-タベ-スを開発した.その他,文書執筆協調作業の作業割当問題を定義し,その近似解を高速に求めるアルゴリズムを提案した.
ユ-ザ主導の対話システムとして,自由知識獲得システム第2版の作成と評価を行った.これは対話を通しテフレ-ム構造の知識を集積していく創造性開発指向の教育ツ-ルである.また,ソフトウェア(要求)仕様獲得するシステムの概念設計を行った.これはこの自由知識獲得システムにソフトウェアや仕様の枠組みを与えたもので構成され,仕様を獲得するとともに,利用者に仕様を自動的に意識化・具体化させるものである.
前年度に作成した仕様形成のためのカ-ド操作ツ-ルKJエディタのワ-クステ-ション版を完成させた.また,いくつかの機能拡張を加えたパソコン版を実際のソフトウェアの仕様作成に適用した.要求分析の途中経過を示すカ-ド配置は,思考過程の記録としてその内容を把握し易く,エディタが仕様作成のツ-ルとして有効であることが知れた.
要求仕様の直接実行による検証の理論的モデルとして,動的項書換え計算(Dynamic Term Rewriting Calculus,DTRC)について研究をすすめ,停止性と合流性に関するいくつかの結果を得た.また,値表現の体系として項書換え系を含むCCSを提案し,テスト正確度という新しい概念に基づく意味論について検討した.さらに,ブロ-ドキャスト通信機構を持つ並行プロセスの体系としてCCS+bを提案し,並行演算,選択演算の結合則と可換則,ならびに,展開則が成立することを示した.

Research Products

• [Publications] 菱田 利浩,山本 晋一郎,酒井 正彦,阿草 清滋: "共同文書執筆作業における作業割り当てについて" 1991年度 電気関係学会 東海支部連合大会講演論文集. 562 (1991)
• [Publications] 馬渕 謙,山本 晋一郎,酒井 正彦,阿草 清滋: "ソフトウェア保守におけるプログラム理解支援システム" 1991年度 電気関係学会 東海支部連合大会講演論文集. 568 (1991)
• [Publications] 吉田 敦,山本 晋一郎,酒井 正彦,阿草 清滋: "ソフトウェア操作言語の提案" 1992年 電子情報通信学会 春季全国大会. (1992)
• [Publications] 水野 貴之,山本 晋一郎,酒井 正彦,阿草 清滋: "ハイパ-テキストを用いた分散型協調作業における文書作成支援" 1992年 電子情報通信学会 春季全国大会. (1992)
• [Publications] H.Ochiwa;K.Kawai;M.Koyama & N.Takeda: "The KJ Method on a Personal Computer," Human Aspects in Computing ed.H.J.Bullinger Elsevier. 1333 (1991)
• [Publications] 富田,重盛,竹田,河合,大岩: "カ-ド操作ツ-ルのC++によるUNIXへの移植" 第18回 JUS UNIXシンポジウム. 79-96 (1991)
• [Publications] 松井 聡一,酒井 正彦,山本 晋一郎,阿草 清滋: "類似性の定義に基づく代数的仕様の検索" 情報処理学会 第43回 全国大会講演論文集. 5. 173-174 (1991)
• [Publications] 濱口 毅,酒井 正彦,山本 晋一郎,阿草 清滋: "代数的仕様記述法の階層化とエラ-の取り扱いに関する考察" 情報処理学会 第43回 全国大会講演論文集. 5. 171-172 (1991)
• [Publications] 菱田 利浩,山本 晋一郎,酒井 正彦,阿草 清滋: "共同文書執筆作業における作業割り当て方法" 情報処理学会 第43回 全国大会講演論文集. 5. 316-317 (1991)
• [Publications] 馬渕 謙,山本 晋一郎,酒井 正彦,阿草 清滋: "ソフトウェア保守におけるプログラム理解支援システム" 情報処理学会 第43回 全国大会講演論文集. 5. 253-254 (1991)
• [Publications] 濱口 毅,山本 晋一郎,酒井 正彦,阿草 清滋: "代数的仕様記述法の階層化における継承について" ソフトウェア科学会 第8回 全国大会講演論文集. 485-488 (1991)
• [Publications] 松井 聡一,酒井 正彦,山本 晋一郎,阿草 清滋: "代数的な仕様記述ベ-スの検索について" ソフトウェア科学会 第8回 全国大会講演論文集. 481-484 (1991)
• [Publications] 土屋,塩見,竹田,河合,大岩: "カ-ド操作ツ-ルを用いた要求分析と機能設計の事例研究.利用者指向の情報システム" シンポジウム(情報処理学会). 37-44 (1991)
• [Publications] 重盛,富田,竹田,河合,大岩: "EWSを用いた文書作成支援統合環境について" 電子情報通信学会 オフィスシステム研究会資料(OS 91ー31). 13-18 (1991)
• [Publications] 野際 豊朗,小谷 善行: "要求仕様を対話的に獲得するシステム" 情報処理学会 第42回 全国大会講演論文集. 5. 181-182 (1991)
• [Publications] 原田 都子,小谷 善行: "利用者が自由に教えるおしゃべり学習ツ-ル" 情報処理学会 第42回 全国大会講演論文集. 6. 289-290 (1991)
• [Publications] 小谷 善行: "IACーー「利用者が教える」というパラダイムによる教育ツ-ル" 情報処理学会 「教育におけるコンピュ-タ利用の新しい方法」 シンポジウム論文集. 49-53 (1989)
• [Publications] 小谷 善行: "対話環境における知識修得系 SENSAK" 昭62年度 人工知能学会 全国大会講演論文集. 109-112 (1987)
• [Publications] 藤村 純仁,小谷 善行: "知識獲得教育系における利用者の知識を引き出す対話" 情報処理学会 第44回全国大会講演論文集. (1992)
• [Publications] 馮 速,坂部 俊樹,稲垣 康善: "動的項書換え計算モデルとその応用" 電子情報通信学会 技術研究報告. 91ー47. 31-40 (1991)
• [Publications] 今井 祐二,結縁 祥治,坂部 俊樹,稲垣 康善: "CCS+b:プロ-ドキャスト型通信機構を追加したCCS" 電子情報通信学会 技術研究報告. 91ー49. 51-57 (1991)
• [Publications] 結縁 祥治,坂部 俊樹,稲垣 康善: "通信プロセスにおける値による条件分岐機構について" 電子情報通信学会 技術研究報告. 91ー69. 11-20 (1991)