如何正式化Uml

Question

有沒有辦法將UML轉換（形式化）爲Z表示法？ 我的意思是說有什麼方法可以將UML需求重新寫入像z這樣的形式語言？

對不起我的英語不好，我的母語不是英語。 謝謝。

Answer 1

有一種方法：你可以從UML生成代碼 - 所以沒有人會阻止你從它生成Z.使用基於模板的代碼生成器輕鬆更改模型生成的文本。但我懷疑你不會找到一個開箱即用的解決方案。儘管如此，一個簡短的搜索引起了people already doing this。