モデル理論アプローチにおける基本ファイル処理とその実装方法

抄録

情報システム開発のための形式手法であるモデル理論アプローチが、業務処理システムにおける基本的なデータ操作（ファイル処理）をどのようにモデル化し、実装しているのかを明らかにし、このアプローチの有効性を示す。