是否可以在UML/OCL中表达对已应用原型的标记值的约束？ 例如，让我们考虑下面的UML图：

仅当对于

Block1

的所有实例，按下按钮的

Block1:：unit\u的实例与按下按钮的实际类型的标记值
unit
的实例相同时，该模型才有效

可以在OCL中表达这样的约束吗？
是的，可以访问应用的原型的标记值。将其视为一个起点。从这里，您可以断言标记值的正确性

如果网页变得不可用，示例如下：

self.allOwnedElements()
->select(e | e.getValue(e.getAppliedStereotype('Ecore::EAttribute'), 'isTransient') = true)

（感谢Rafael Chaves、Vladimir Orany和Bjoern Sundin。）
是的，可以访问应用原型的标记值。将其视为一个起点。从这里，您可以断言标记值的正确性

如果网页变得不可用，示例如下：

self.allOwnedElements()
->select(e | e.getValue(e.getAppliedStereotype('Ecore::EAttribute'), 'isTransient') = true)

（感谢拉斐尔·查维斯、弗拉基米尔·奥拉尼和比约恩·桑丁。）