XMI12 — Tool interchange recommendation insufficient (major)

Section 3.10 has the following significant issues:

• it treats xmi.uuids as interchangeable with xmi.externIDs. However the
  latter is not defined as globally unique in the same way as uuids;
• it provides no mechanism to cope with the common case where tools do not
  support a globally unique id.
• it requires that a tool knows whether a uuid was originally generated by
  it but provides no mechanism to allow this. For example, in section 3.10.3
  step 3, Tool1 needs to be able to recognize that the xmi.uuid "abcdefgh" was
  generated by it, yet "X012345678" was not. No information is provided in the
  file to allow this and it cannot be assumed that the format of the uuid can
  identify the tool that generated it.
• there are inconsistencies between the text and the XMI. Specifically step
  2 should refer to xmi.uuid (instead of xmi.extenderID) of "X012345678" and
  step 4 should refer to xmi.uuid (instead of xmi.extenderID) of "qrstuvwxyz"