преобразование диаграмм UML в спецификацию Z с использованием преобразования xsl

Question

Я пытаюсь преобразовать некоторые диаграммы uml (синглтона, AbstractFactory ...) в спецификацию Z, сначала я преобразовал диаграмму uml в файл xml, используя starUML, затем я использовал программу xsl и saxon для преобразования моего xml-файла в .tex (для Z), но это не сработало. если у кого-то есть идея о том, как написать xsl-программу (просто, может быть, по шагам), это будет здорово.

спасибо

Answer 1

Я бы сказал, это вообще очень плохая идея. Существует много разных форматов для хранения UML. XMI - это стандарт, однако есть по крайней мере три разные версии, и они довольно сложные. Преобразование XML в TeX с использованием XSLT также должно быть довольно большим препятствием, особенно когда вы пытаетесь получить спецификации Z, которые на самом деле функциональны и процедурны, а UML основан на объектно-ориентированном программировании. Я думаю, что они могут быть лучшим способом достичь того, что вы хотите. Возьмем, к примеру, Maude для Eclipse, который может генерировать спецификации Maude (спецификации алгебраических типов данных) из моделей на основе EMF (Eclipse Modeling Framework), которые также могут быть UML2, как в инструментах Eclipse.

Answer 2

Вместо того, чтобы пытаться написать XSLT-преобразование, было бы намного лучше написать преобразование модели в текст. Учитывая модель UML, представленную как экземпляр метамодели UML (разновидность AST), вы можете написать преобразование Модель в текст, которое пересекает модель UML и генерирует соответствующий текст. Для этого есть несколько проектов Eclipse.

Другое решение (более точное, но и более сложное) будет определять метамодель Z и писать модель для моделирования преобразования между обеими метамоделями.