Экземпляры могут быть сохранены в виде файлов XML как с помощью графического интерфейса анализатора Alloy, так и API-интерфейса Alloy.
Если вы заинтересованы в том, чтобы представление XML вашего экземпляра Alloy было более читабельным, вы можете указать преобразование (в xslt, например), чтобы отформатировать данные по своему усмотрению.
Получайте удовольствие: +)