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

Question

我试图将一些uml图（单例，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建模框架）的模型生成Maude规范（代数数据类型规范），这些模型也可以是Eclipse工具中的UML2。

Answer 2

不是试图编写XSLT转换，而是将模型写入文本转换会好得多。假定将UML模型表示为UML元模型（AST的一种）的实例，则可以编写一个模型到文本转换，以遍历UML模型并生成相应的文本。有几个Eclipse项目。

另一种解决方案（更整洁，而且更复杂的）是定义Z的元模型和写一个模型两者之间元模型变换模型。