to_xmi_str added