experiment: validate xmi files with xsd