An Approach for the Design and Simulation of Information Retrieval Protocols