uml - Umlを形式化する方法

Question

UML を Z 表記に変換 (形式化) する方法はありますか? つまり、UML 要件を z のような正式な言語に書き直す方法はあるのでしょうか?

私の悪い英語で申し訳ありません。私の母国語は英語ではありません。ありがとうございました。

Answer 1

方法があります: UML からコードを生成することができます。そのため、そこから Z を生成することを誰も止めません。テンプレート ベースのコード ジェネレーターを使用して、モデルが生成するテキストを簡単に変更します。しかし、すぐに使える解決策が見つからないのではないかと思います。それにもかかわらず、簡単な検索で、すでにこれを行っている人が見つかりました。