Definition of the SEIS PROV format