基于Eclipse Papyrus验证MagicDraw/Cameo模型OCL表达式的问题

问题背景 #

我在MagicDraw/Cameo中构建了跨两个元模型的转换模型，环境包含多个元模型，模型内嵌OCL表达式。需求是批量检查OCL语法、评估全模型OCL表达式，且能编辑OCL解析器。目前选择Eclipse Papyrus作为环境，导入所有模型和配置文件后使用Validity View验证，却触发以下异常：

XMIException: UMLIdResorlver.getASOf failed for an org.eclipse.ocl.pivotElement
ParserException: Failed to load 'platform/resource/projectName/MyClass.uml.oclas' : Inheritance loop for
IllegalStateException: Inheritance loop for

推测问题可能来自MagicDraw/Cameo模型导入，或是对工具用途的误解。

流程合理性分析 #

Papyrus的Validity View确实支持UML模型的OCL验证，但对跨元模型、第三方工具导出的模型存在兼容性局限：

• MagicDraw的XMI导出格式可能包含Papyrus OCL解析器不兼容的扩展标记或ID引用逻辑，导致UMLIdResolver解析失败
• 跨元模型的继承关系如果在导入后出现循环依赖（如元模型A继承自元模型B，B又间接依赖A），会触发"Inheritance loop"错误

解决方案 #

针对Papyrus环境的修复步骤 #

1. 清理模型依赖
   • 通过Papyrus的Model Explorer定位涉及循环的类/元类，手动移除循环继承关系
   • 从MagicDraw导出模型时选择纯UML 2.x标准XMI格式，禁用MagicDraw专有扩展，避免解析器无法识别的自定义标签
2. 修复OCL文件引用
   • 检查.uml.oclas文件的路径引用，确保与Papyrus项目实际名称一致，避免路径错误导致加载失败
   • 删除原有自动导入的OCL绑定，在Papyrus中重新为元素添加OCL约束
3. 调整解析器配置
   • 在Papyrus偏好设置的OCL -> Environment中，启用跨元模型引用支持，调整解析器的依赖搜索范围
   • 更新Papyrus到最新版本，修复旧版本中跨元模型OCL解析的已知Bug

更适配的替代工具 #

如果Papyrus兼容性问题无法解决，推荐以下工具：

• OCL Tools Standalone：直接加载UML/XMI模型，批量验证OCL表达式，支持自定义解析器扩展，无需依赖完整Papyrus环境
• EMF Compare + OCL Validation：先验证MagicDraw导出模型与标准UML的一致性，再进行OCL语法检查
• MagicDraw内置OCL验证：直接在MagicDraw/Cameo中使用内置验证器，原生支持跨元模型场景，避免模型导入的兼容性问题

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