リアクティブ・スケジューリング問題の形式モデル

抄録

リアクティブ・スケジューリングに関して，その手法・手順がこれまでにも数多く提案されているが，本講演では，リアクティブ・スケジューリング問題の形式的なモデル構築の試案について報告する．また，代表的なリアクティブ・スケジューリング手法を提案モデル上で位置付けるとともに，より効果的な手法について検討する．