有没有办法以编程方式检查模型的有效性，例如Validation > Validate Model吗？
问问题
101 次
2 回答
1
说到模型验证，你必须考虑两个方面——模型语法和语义。
语法验证是一件微不足道的事情，在某些工具中部分可用。UML 具有精确定义的语法，并且可以很容易地自动检查。
如果模型正确地代表了主题是另一个问题，并且最终可以通过模型执行来验证。很少有工具可以提供这种执行的非常部分的实现。
总而言之 - 模型验证与源代码验证相当 - 句法部分很容易，而语义部分很难证明。
于 2014-11-05T10:49:36.963 回答
1
如果您的意思是模型是有效的，如果您自定义的格式良好规则 (WFR) 有效，那么您可以使用 OCL。在 OCL 中定义约束并使用Dresden OCL之类的东西来验证这些 WFR。
您可以将 Dresden OCL 单独使用集成到您的 Eclipse 及其视图中，也可以在程序中使用 Dresden OCL 的 API 以编程方式验证有效性。
于 2014-11-04T23:17:54.103 回答