ビジュアルプログラミングにおける時間制約の図的記述と一貫性検査について

摘要

本稿では，筆者らが開発してきたビジュアルプログラミングシステムを対象とした時間制約の図的記述と一貫性検査について述べる．まず，時間制約の定義とその図的な記述法を提案する．次に，その図的な特徴を生かして，複数の時間制約間の関係を把握し，それらが互いに与える影響を考慮しつつ，時間制約を満たすようにプログラミングする方法を示す．そして，試用評価と関連研究との比較評価の結果から，提案した手法が有効であることを示す．