リアクティブシステム
from
形式手法
自律的に自動でずっと動き続けている
相互作用しながら計算の実行を継続的に行う