A query language for the JMX API