3

いくつかのUMLダイアグラム（シングルトン、AbstractFactory ...）をZ仕様に変換しようとしています。最初に、starUMLを使用してUMLダイアグラムをxmlファイルに変換し、次にxslプログラムとsaxonを使用してxmlファイルを.texに変換しました。 （Zの場合）、しかしそれは機能しませんでした。誰かがxslプログラムをどのように書くべきか（おそらくステップ）についてのアイデアを持っているなら、それは素晴らしいことです。

ありがとう

4

2 に答える 2

2

これは一般的に非常に悪い考えだと思います。UMLを格納するためのさまざまな形式があります。XMIは標準ですが、少なくとも3つの異なるバージョンがあり、それらは非常に複雑です。XSLTを使用してXMLをTeXに変換することも、非常に大きなハードルである必要があります。特に、関数型で手続き型のZ仕様を取得しようとしている場合、UMLはオブジェクト指向プログラミングに基づいています。彼らはあなたが望むことを達成するためのより良い方法かもしれないと思います。たとえば、Maude for Eclipseを取り上げます。これは、EMF（Eclipse Modeling Framework）ベースのモデルからMaude仕様（代数的データ型仕様）を生成できます。これは、EclipseツールにあるUML2でもあります。

于 2010-04-24T20:34:28.793 に答える
1

XSLT変換を作成しようとする代わりに、モデルからテキストへの変換を作成する方がはるかに優れています。UMLメタモデル（ASTの一種）のインスタンスとして表されるUMLモデルを考えると、UMLモデルをトラバースして対応するテキストを生成するモデルからテキストへの変換を記述できます。このためのEclipseプロジェクトがいくつかあります。

別の解決策（より適切ですが、より複雑です）は、Zのメタモデルを定義し、両方のメタモデル間の変換をモデル化するためのモデルを作成することです。

于 2010-04-24T22:23:12.630 に答える