El formato de fichero que utiliza está basado en XMI.