高度に柔軟なオブジェクト指向開発手法の開発とそれを支援する計算機環境の構築

1998 Fiscal Year Annual Research Report

• Project/Area Number: 10480056
• Research Category: Grant-in-Aid for Scientific Research (B)
• Research Institution: The University of Electro-Communications
• Principal Investigator: 前川 守 電気通信大学, 大学院・情報システム学研究科, 教授 (10126162)
• Co-Investigator(Kenkyū-buntansha): 河田 恭郎 電気通信大学, 大学院・情報システム学研究科, 助手
• Keywords: Eunice97 / オブジェクト指向 / 並行プログラム / 継承異常 / ソフトウェア開発 / CASEツール / 電求仕様抽出

Research Abstract

Eunice97の言語設計において、並行オブジェクト指向プログラミング言語で問題となる継承異常に対する検討を行ない、対処方法を提案した。オブジェクトの受理可能状態の履歴依存性に起因する継承異常には、(1)オブジェクトの現在の状態ではなく活動の履歴情報を利用して並行的制約を記述し、(2)すべての並行的振舞いの記述をクラスから分離する事が有効である、との知見を得た。また、クラスの振舞いを表現した状態遷移図を複数統合する方法について議論した。多重継承を表すこの機構を用いて、複数の親クラスから子クラスの振舞いを構成する手順を表現するための言語構造を提案した。さらに、ガード付メソッドが継承異常を解決できないのは、1つのクラス内に複数種類の振舞いが混在している場合であるが、このような場合には、(1)互いに関連する振舞いは1つのクラスとしてパッケージ化する、(2)新規クラスを生成する際には、必要な振舞いを持つクラスを継承して合成する、という対処方法が有効であり、これらに基づいた新しい言語構造を提案した。これらの方法により、より高い抽象度とコーディングのしやすさが得られる。
Eunice97での開発支援環境フレームワークとしては、(1)ソフトウェア開発の分析段階において、異なる複数視点を統合の際に必要となるモデル化の機構、(2)複数の開発支援ツール間で、柔軟なデータ共有と連係動作を実現するための方法とそれを利用した拡張、などの提案を行なった。
Eunice97言語処理系のCASEツールとしては、GNU Emace上の構造エディタをはじめとして、ビジュアルエディタ、プログラムの実行を視覚的に表示するツール、要求の構造化を支援する要求抽出ツール、などのプロトタイプシステムを実装して検討した。

Research Products

• [Publications] Andrew.Eduand Santosa他: "A solution to inheritance anomaly based on rensable behavior difinitions" PDCS′98. 586-589 (1998)
• [Publications] Andrew.Eduand Santosa他: "A new analysis of inheritance anomaly in concurrent object-oriented programing lanquages." WEC13-Japan. (1999)
• [Publications] 木南 毅 他: "ソフトウェア開発の分析段階における異なる複数視点の統合機構" 第57回 全国大会予稿集(情報処理学会). 1. 193-194 (1998)
• [Publications] 水林誠司他: "要求の構造化を支援する要求抽出ツール" 第57回 全国大会予稿集(情報処理学会). 1. 189-190 (1998)