使用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的元模型和寫一個模型兩者之間元模型變換模型。