タケさん、ご質問ありがとうございます。JUDEのXMI入出力関係を担当しました村田と申します。

もうしわけありませんが、JUDEのXMI入出力に関しましては、スキーマを定義したファイルが存在しておりません。開発に着手した時には、OMGから発表されたDTDを参考にして開発していたのですが、JUDEが独自に決めなければならない部分が出てきた事などから、スキーマの定義を独立した形で持つという事はしませんでした。

以上、ご了承いただきたくお願い申し上げます。