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

点击翻译按钮获取中文摘要

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