Example of the xmi-serialization