代码之家 › 专栏 › 技术社区 › Gabriel Å Äerbák

带OCL的UML可以用于正式规范吗?

ocl specifications modeling uml

2

Gabriel Å Äerbák · 技术社区 · 15 年前

我这样问是因为UML用于非正式规范,并且在语义上有一些模糊性。不过,我认为OCL可以非常有效地指定前置/后置条件、不变量和其他约束。

我最近遇到了Z符号和代数规范。我的问题是,UML和OCL的结合对于正式规范来说足够吗?

1 回复 | 直到 15 年前

1

5

Jordi Cabot 15 年前

是的,对于大多数可以构建的系统。