有没有办法将 UML 转换（形式化）为 Z 表示法？我的意思是有什么方法可以将 UML 需求重写为像 z 这样的正式语言？
对不起我的英语不好，我的母语不是英语。谢谢你。
问问题
296 次
1 回答
1
有一种方法：您可以从 UML 生成代码 - 因此没有人阻止您从中生成 Z。使用基于模板的代码生成器轻松更改模型生成的文本。但我怀疑你不会找到开箱即用的解决方案。尽管如此，一个简短的搜索发现人们已经这样做了。
于 2013-04-08T08:43:31.923 回答