defined portal xsd file