我问是因为 UML 用于非正式规范并且在语义上有一些歧义。然而，我认为 OCL 可用于非常有效地指定前置/后置条件和不变量以及其他约束条件。
我最近遇到了 Z 符号和代数规范。我的问题是，UML 和 OCL 的组合是否足以满足正式规范？
最佳答案
是的，对于您可以构建的大多数系统。
我的意思是，UML 和 OCL 只是半形式化语言(它们的语法定义明确，但它们的语义只是部分形式化，许多方面只是在标准文档规范中用自然语言描述)。因此，如果你正在构建一个关键系统并且你需要证明系统的正确性，那么 UML/OCL 可能会达不到要求，但对于许多其他类型的系统，UML/OCL 可以提供的那种形式已经足够好
关于uml - 带有 OCL 的 UML 可以用于正式规范吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2815051/