The following paper may help you in this regards:

http://ijrte.academypublisher.com/vol01/no01/ijrte0101206210.pdf

All the best.

Thank you Taher, this helps me a lot. :)

Take a look at these papers and our homemade tool:

https://www.researchgate.net/publication/280302139_Anlisis_de_consistencia_de_Casos_de_Uso_con_simuladores_de_autmatas_finitos

https://www.researchgate.net/publication/284633757_Herramienta_para_administracin_y_validacin_de_requerimientos_de_sistemas

Conference Paper Análisis de consistencia de Casos de Uso con simuladores de ...

Article Herramienta para administración y validación de requerimient...

Thanks Oscar, but do you have the English version?

In a short time we will have an English version available .

As indicated by others, XMI is the standard, defined by the OMG www.omg.org. However, many tool vendors add "vendor specific" fields to their XMI files which makes them not one-on-one compatible. Notably graphical information such as layout and colors are vendor specific, only structure is standardized.

The XMI format has everything you need. Look this link: http://www.jeckle.de/xmi_ex4.html

Look an example of UML Diagram and its correspondent XMI.

I think it might be more appropriate to use XPDL.

'XPDL (XML Process Definition Language) is a language for defining a workflow .It was created by WfMC in 2001 and 3 October 2005 version 2.0 was released.

XPDL is a file format based on XML that can be used to exchange business process models between different tools.' (wikipedia)