はじめまして。
Enterprise Architectが出力するXMIから情報を抜き出す
ツールをJAVAで作成しようとしています。
（具体的には状態遷移図の情報を抜き出し、他の
　モデル検査ツールで読み込み可能な形式に変換を試みています。）

そこで、XMIのフォーマット定義に関する解説を探していますが、
なかなか見当たりません。
http://www.omg.org/spec/{XMI,UML}
などを読むしかないのでしょうか？

XMLの文法とUMLの概念を一通り学んだ初心者が、
XMI2.1の定義を理解することのできる参考文献があれば
ご教示いただければ幸いです。
＃具体的に小さな例をXMI出力したものについては概要が
＃理解できるのですが、どのようなタグが存在するか、とか
＃それらがどのような順序で出力されることになっているか、
＃などを知りたいです。

よろしくお願いします。
　

XMIの定義を正確に理解する、ということであれば
ご提示の仕様書を読む以外には選択はないかと思います。

ただ、目的が明確になっていますので、仕様書のすべてを理解することは
重要ではないかもしれません。

もし、対象がEnterprise Architectのみであれば、対象となる
サンプルUMLモデルを作成し、どの情報がどこに含まれるか、だけを
確認して、それ以外は無視するのが現実的かと思います。

ご希望のツールがどの程度汎用的なのか(XMIに準拠しているものは
すべて動作するようにするのか、等)
などの仕様・範囲が明確になると、もう少しコメントができるかと思います。