HOMELv022 パッケージ図において、「循環依存(AがBに依存し、BがAに依存する)」はSysMLの文法上許容されるか。 2026年3月17日 パッケージ間の循環依存は文法的には可能だが、モデルのモジュール性や管理の観点からは避けるべきとされる。 ブロック定義図において、あるプロパティに「{unique=false}」という制約がある場合、何を意味するか。 あるモデル要素の変更が、他のどの要素に影響を与えるかを分析することを何と呼ぶか。