今ひとつ Alloy を理解できていないので、Erlang や Scala で使う Supervisor Tree の仕様を記述まずは、集合を定義してみる。 abstract sig Actor { parent : lone Supervisor } sig Worker extends Actor {} sig Supervisor extends Actor { child : Actor…