xml - 使用 xsl 转换将 UML 图转换为规范 Z

Question

我正在尝试将一些 uml 图(单例、抽象工厂...)转换为 Z 规范，首先我使用 starUML 将我的 uml 图转换为 xml 文件，然后我使用 xsl 程序和 saxon 将我的 xml 文件转换为 .tex(for Z)，但没有成功。如果有人知道应该如何编写 xsl 程序(可能只是步骤)，那就太好了。

谢谢

Answer 1

我会说，这通常是一个非常糟糕的主意。有许多不同的格式用于存储 UML。 XMI 是一个标准，但是据我所知至少有三个不同的版本，而且它们非常复杂。使用 XSLT 将 XML 转换为 TeX 也一定是一个很大的障碍，特别是当您试图获得 Z 规范时，这些规范是 afaik 功能和过程，而 UML 基于面向对象的编程。我认为它们可能是实现您想要的目标的更好方法。以 Eclipse 的 Maude 为例，它可以从基于 EMF(Eclipse 建模框架)的模型生成 Maude 规范(代数数据类型规范)，也可以是 Eclipse 工具中的 UML2。