Как формализовать Uml
Есть ли способ конвертировать (формализовать) нотацию UML в Z? Я имею в виду, что есть ли способ переписать требования UML для формального языка, такого как z?
извините за мой плохой английский, мой родной язык не английский. благодарю вас.
1 ответ
Решение
Есть способ: вы можете генерировать код из UML - так что никто не мешает вам генерировать Z из него. Используйте генератор кода на основе шаблонов, чтобы легко изменить текст, создаваемый моделью. Но я подозреваю, что вы не найдете нестандартного решения для этого. Тем не менее, короткий поиск выявил людей, уже занимающихся этим.