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

Question

我正在尝试将一些uml图（singleton，AbstractFactory ...）转换为Z规范，首先我使用starUML将我的uml图转换为xml文件然后 我使用xsl程序和saxon将我的xml文件转换为.tex（对于Z），但它没有用。 如果有人知道应该如何编写xsl程序（可能只是步骤）那将是很棒的。

感谢

Answer 1

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

Answer 2

不是尝试编写XSLT转换，而是将模型编写到文本转换中要好得多。鉴于UML模型表示为UML元模型的实例（AST的种类），您可以编写一个模型到文本转换，遍历UML模型并生成相应的文本。有几个Eclipse项目。

另一个解决方案（更整洁但也更复杂）是定义Z的元模型并编写模型来模拟两个元模型之间的转换。