A Formal Model of XML Schema | IEEE Conference Publication | IEEE Xplore