(same for bpm-v1.xsd)