HOMELv019 MARTEプロファイルにおいて、論理的な時間(Logical Time)と物理的な時間(Chronometric Time)を区別して扱うための概念はどれか。 2026年1月25日 MARTEは、物理時間だけでなく、論理クロック(ステップ数など)に基づいた時間モデル(Time Structure)を定義し、厳密な時間解析を可能にする。 「要求」をオブジェクトとしてカプセル化し、パラメータ化されたクライアント、キューイング、ロギング、Undo操作などをサポートするパターンはどれか。 OCLコレクション操作 `select` と `reject` の関係として正しい式はどれか(`cond`は条件式)。