Elaborated protocols and HTTP