並列に生起する事象の間の同期を表現することが可能な，ソフトウェアの要求モデルはどれか。