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

1990 Fiscal Year Annual Research Report

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

Research Abstract

有限状態機械,デ-タフロ-マシン,オブジェクト指向システム,LOTOSなど,検証やプロトタイピングの可能な複数の抽象機械(複合機械)によって表現されるソフトウェアのメンタルモデルから設計に至る過程において,ソフトウェア技術者の実施する知的活動のプロセスがここでいうヒュ-マン・プロセスである.企業の大規模ソフトウェア生産の現場における経験の調査から,これはUW(unit workload)と称する単位プロセスの並行結合網で表わせることを確認した.本研究の成果によって,UWはプリ条件,プロセス・プログラム,ポスト条件,輸入仕様,輸出仕様,制約の組から成る表示的記述(denotation),およびこの表示を時間的,環境的制約のもとに解釈実行する反射記述(reflection)によっテ表明できることを知った.
複合機械は,シグネチャと等式からなる仕様で定義される等式仕様商代数によって,その始意味(initial semantics)を与えることができる.この方針に沿って,実務で作られる複合機械の記述経験を重ねている.
ひとつのUW内におけるヒュ-マン・プロセスでは,輸入仕様に基づく仕様代数と輸出仕様に基づく仕様代数を与えられ,それをもとにこれらを包含する新たな仕様代数(第3の仕様)を生成する.これら3つの仕様間は準同形射(homomorphism)によって関連づけられる.第3の仕様を定義する仕様記述に含まれる等式記述が,輸入仕様と輸出仕様との間の関係,変更波及を形式的に定義しているものとみなすことができる.
以上に述べた基礎を基に,メンタルモデルおよびヒュ-マン・プロセスを支援する計算機環境(CASE)KyotoDBを試作している.KyotoDBでは上で述べたUWの表示的記述をひとつのオブジェクトとしている.反射記述は表示的記述オブジェクトをインスタンス変数とする複合オブジェクトとして記述される.

Research Products

• [Publications] Y.Matsumoto: "A Data Model in the Softwere Project Database KyotoDB" Advances Softw.Sci.Tech.JSSST. Vol.2. 103-121 (1990)
• [Publications] Y.Matsumoto: "KyotoDB Supports Software Processes" Proc.6th Int'l Software Process Workshop. 73-75 (1990)
• [Publications] 鯵坂 恒夫: "ソフトウェアエンジニアリング・デ-タベ-スKyotoDBのオブジェクトモデル" 情報処理学会第79回デ-タベ-ス・システム第26回プログラミング言語合同研究会. 90-DBS-79-4 (1990)
• [Publications] 山下 薫: "CASE環境における協調活動支援ツ-ルの試作" 日本ソフトウェア科学会第7回ソフトウェア研究会. SW-90-7-7 (1990)