形式手法の一つである仕様記述言語VDM++を用いて，サイバーフィジカルシステム(CPS)を考慮した予約システムを考える．CPSでは，人と物が関係するフィジカル空間内のやり取りについて仕様を検討しなければならない．フィジカル空間内では，期限・制約が要求されることが多い．また，このようなフィジカル空間内でのやり取りでは，結果を2値で決定できるような明確な基準は定まっておらず，曖昧な判断を自然語で記述する場合がある．この曖昧判断の問題を解決するため, VDM++仕様記述にファジィ的なグレード写像群を埋め込む手法を提案する．