複数のシステムの組合せによって実現するSoS（System of Systems）をモデル化するのに適した表記法であるSysMLの特徴はどれか。