ERモデル+制約を用いた対象世界の記述による高次部品化について

概要

論文の詳細を見る
ソフトウェア自動作成の問題は,1)ソフトウェア化したい対象世界の認識の方法と,2)その認識結果に基づく計算機の動かし方,に大きく分けられる.そこで筆者らは,1)については認識結果を記述するためのプログラム仕様記述法PSDM(Program Specification Description Method)と,プログラム仕様を再利用するための高次部品化を研究し,2)についてはプログラム構造設計の自動化を含めたプログラム生成法を研究中である.PSDMは,プログラムの入出力データに表わされている情報についての枠組みと,入出力データの形式に着目した宣言的な仕様記述法である.この情報の枠組みを記述するのにER(Entity Relationship)モデルと制約を用いているが,プログラム生成を容易にするため,現在は制約を計算式で記述している.しかし,対象世界の記述を容易にするには,制約指向プログラミングと同じように,条件式による制約の記述も許容するのが望ましい.従来,制約指向プログラミングは対象指向言語や論理型言語の上で研究されているが,ERモデル上の例は見られない.そこで筆者らはデータベースの観点から見た制約も参考にして,ERモデルと制約を用いた対象世界の記述による高次部品化について考察したので報告する.
一般社団法人情報処理学会の論文
1989-10-16

ERモデル+制約を用いた対象世界の記述による高次部品化について

スポンサーリンク

概要

著者

関連論文

スポンサーリンク