高機能高品質ソフトウェア構成におけるヒュ-マンプロセスの知的支援に関する研究

1991 Fiscal Year Annual Research Report

• Project/Area Number: 03235204
• Research Institution: Kyoto University
• Principal Investigator: 松本 吉弘 京都大学, 工学部, 教授 (50219523)
• Co-Investigator(Kenkyū-buntansha): 鰺坂 恒夫 京都大学, 工学部, 助教授 (30175864)
• Keywords: ソフトウェアプロセス / ソフトウェア設計 / 代数的仕様記述 / オブジェクト指向モデル / リフレクション / 抽象機械

Research Abstract

(1)メンタルモデルの記述と実装:状態機械、並行プロセス、抽象デ-タ型などから構成される抽象複合機械によってメンタルモデルを記述し、オブジェクト指向モデルによって実現することを目的とする。C++などのプログラム言語によって記述され、Unixプロセスとして並行に実行される複合オブジェクトをワ-クステ-ション上で実現し、これによってメンタルモデルを模擬し、実行させている。
(2)メンタルモデルの進展過程の記述:メンタルモデル要素を圏(category)、要素間の関係を関手(functor)として、要素から要素への推移を形式的に表す。ソフトウェア設計の上流過程から下流へ移る過程におけるメンタルモデルの進展をπーclausal institutionによって記述した。
(3)メンタルモデル形成プロセスにおけるリフレクションの利用:メンタルモデル要素を記述するプロセスの記述を抽象化したオブジェクトをベ-スとしたとき、その1階上のリフレクションまで記述する方法、およびこれらを支援する環境を開発した。さらに2階のリフレクションについて研究中である。
(4)メンタルモデル間の関係クラスの生成:あるメンタルモデル要素から、これによって作られる新しいメンタルモデル要素を生み出すプロセス・プログラムを用いて、関係クラスを形式的に生成する方法を開発した。
(5)計算機による支援環境の開発:CASEツ-ルを統合,相互接続する開放型プラットフォ-ムであるKyotoDBの試作を行った.ソフトウェア開発保守におけるプロセスとプロダクトを統合的に管理するため,単位作業の管理と支援,プロダクトの意味構造の保持,協調活動の管理と支援,プロジェクト全体の管理をそれぞれ行う4つのクラスの複合構造化したオブジェクト・デ-タモデルである.

Research Products

• [Publications] Y.Matsumoto: "Software Design Process as Category Morphism" Journal of Information Processing. Vol.14 No.3. 272-283 (1991)
• [Publications] Y.Matsumoto: "Notes on the Next Generation Software Factory" Memoirs of the Faculty of Engineering,Kyoto University. Vol.54 Part1. 1-18 (1992)
• [Publications] Y.Matsumoto and T.Ajisaka: "A ComputerーAided Software Requirements Engineering Environment:KyotoDBーI,Distributed EnvironmentsーSoftware Paradigms and Workstations,Y.Ohno(ed.)" Springer Verlag. Chapter3. 20-38 (1991)
• [Publications] 鰺坂 恒夫,大森 匡,松本 吉弘: "ソフトウェアエンジニアリング・デ-タベ-スKyotoDBのオブジェクトモデルとその実現" オブジェクトテクノロジ-の高度応用に関するObaseワ-クショップ論文集. 89-96 (1992)