有没有办法以编程方式检查模型的有效性，例如验证＆gt;验证模型吗？
答案 0 :(得分：1)
如果您的意思是模型有效，如果您的自定义良构规则（WFR）有效，那么您可以使用OCL。在OCL中定义约束并使用类似Dresden OCL的内容来验证那些WFR。
您可以将Dresden OCL自身与其视图集成到Eclipse中，也可以在程序中使用Dresden OCL API来以编程方式验证其有效性。
答案 1 :(得分：1)
谈到模型验证，您必须考虑两个方面 - 模型语法和语义。
语法验证是一件微不足道的事情，在某些工具中部分可用。 UML具有精确定义的语法，可以轻松自动检查。
如果模型正确表示主题是另一个问题，并且最终可以通过模型执行进行验证。很少有工具可以提供非常部分的执行。
总之 - 模型验证与源代码验证相当 - 语法部分很容易，而语义很难证明。