4K-6
Ambient Calculus の時間拡張とそれに基づく物流監視システム
○村山静香，樋口昌宏（近畿大）
　筆者らは動的な階層構造を持つ物流システム記述のための形式体系として
Ambient Calculusに着目している。本発表では、時間制約を含む物流
システムを記述するためのAmbient Calculusの時間拡張について考察する。
　まず、時間制約の記述のための構文を定義し、これを用いて陸上競技大会における
用具の設置,撤去の問題を記述した例を示す。また、設備の設置、撤去が
記述どおりに行われているかどうかを監視するシステムの構築についても議論する。