言語間の関係に基づく意味を保つ表現間変換を表す処理モデル

摘要

計算機システムの利用者が必要な処理を容易に見つけられないことは少なくない。この問題の解決のために、処理を意味を保存する表現間変換と捉える新たなモデルを提案し、利用者の意図と処理との関係を形式的に記述する枠組を与える。コンピュータシステム中のデータは、なんらかの意味をなんらかの表現法で表すものである。この表現法をここでは一般に「言語」と呼び、表現から意味への関数と捉え、処理は意味を保存する言語変換と捉える。このモデルでは、利用者の意図は、入力の表現、それを解釈する言語、出力を解釈できる言語の三つ組で指定する。これによって意味を明示的に指定することなしに要求される処理を提案する機構を構成することができる。