A query language for understanding component interactions in production systems