OCLにおいて、文字列 `s` が部分文字列 `sub` を含んでいるか確認する操作はどれか。

2026年1月25日

OCLのString型には直接的な `contains` メソッドがない場合が多く、標準的には `indexOf(sub)` が0以外（または1以上、OCLのインデックスは1始まりか仕様によるが通常は見つからなければ0かnull）であることを確認する手法が取られる。（※OCL 2.4以降の標準ライブラリ実装によるが、indexOfが一般的）

相互作用概要図（Interaction Overview Diagram）は、どの図の変種（バリエーション）として定義されているか。

SoaMLにおける「サービス契約（ServiceContract）」が定義するものはどれか。