シーケンス図を表現するためのモデルを提供します。