属性抽出定義などの形式的検証

[ciscorn]

属性の抽出定義などについて、スキーマなどを用いて、形式的に自動検証できるとよい。