documentation of performative_module.xsd