モデル理論を基礎としてData Processing Systemの設計

抄録

現在，数理的一般システム理論の枠組みで情報システムを開発するための形式的なアプローチについて研究が行われている．本論文では特にデータ処理システムを対象にした定式化の方法について解説し，例題を用いて開発手順について述べている．