A query language and runtime tool for evaluating behavior of multi-tier servers