特徴遷移システムのための反応的グラフの可視化と分析

反応的グラフは、実行中に遷移が活性化および非活性化される遷移構造であり、適応型システムのモデル化に適している。Margeツールは、反応的グラフの可視化、アニメーション、状態空間の探索、プロパティの検証などの機能を提供し、反応的グラフの理論と実践の橋渡しを支援する。