Modelica约束模型缺失constrainedby，GUI无法选择适配模型问题排查

问题场景 #

构建了如下Modelica包结构，但OMEdit与Wolfgang SystemModeler的GUI均无法选择合适的可替换模型：

package TopLevel
  package Examples
    model Example

    end Example;

  end Examples;

  package Components
    model TwoPhase
      replaceable model Model_1 = BaseClasses.ExtendsPartialA constrainedby BaseClasses.Partial annotation(choicesAllMatching = true);
      parameter Real TwoPhase = 1;

    end TwoPhase;

    model BaseClasses
      model Partial

      end Partial;

      model ExtendsPartialA
        extends Partial;

      end ExtendsPartialA;

      model ExtendsPartialB
        extends Partial;

      end ExtendsPartialB;

    end BaseClasses;

  end Components;

end TopLevel;

问题原因 #

• 作用域解析错误：在Components.TwoPhase模型内，直接写BaseClasses会被解析为TwoPhase.BaseClasses（当前模型的子元素），但实际BaseClasses是Components包的同级子模型，并非TwoPhase的内部模型，GUI自然找不到对应的模型。
• 约束模型的路径错误：constrainedby BaseClasses.Partial同样存在路径问题，Modelica解析器无法定位到正确的Partial模型，导致无法识别符合约束的候选模型。

修正后的代码 #

将路径改为相对路径（用.表示当前包的上级，也就是Components）即可：

package TopLevel
  package Examples
    model Example

    end Example;

  end Examples;

  package Components
    model TwoPhase
      // 使用相对路径引用Components包下的BaseClasses
      replaceable model Model_1 = .BaseClasses.ExtendsPartialA constrainedby .BaseClasses.Partial annotation(choicesAllMatching = true);
      parameter Real TwoPhase = 1;

    end TwoPhase;

    model BaseClasses
      model Partial

      end Partial;

      model ExtendsPartialA
        extends Partial;

      end ExtendsPartialA;

      model ExtendsPartialB
        extends Partial;

      end ExtendsPartialB;

    end BaseClasses;

  end Components;

end TopLevel;

修正后，GUI就能正确识别ExtendsPartialA和ExtendsPartialB作为可替换的候选模型了。

内容的提问来源于stack exchange，提问作者martburg