プロセス制御などの事象駆動（イベントドリブン）による処理の仕様を表現する方法として，適切なものはどれか。