如何形式化Uml

Question

有没有办法将UML转换（形式化）为Z表示法？ 我的意思是，有没有办法将UML需求重写为像z这样的形式语言？

抱歉我的英语不好，我的母语不是英语。 谢谢。

Answer 1

有一种方法：你可以从UML生成代码 - 所以没有人阻止你从中生成Z.使用基于模板的代码生成器轻松更改模型生成的文本。但我怀疑你不会找到一个开箱即用的解决方案。尽管如此，一个简短的搜索提出了people already doing this。