Imperial College London
Performance Trees (PTs) provide the means to express a wide variety of queries on stochastic models. Graphically, PTs are represented as tree structures consisting of operation and value nodes. Performance trees are a unifying framework for the specification of performance queries involving measures and requirements. This paper describes an evaluation environment for performance trees comprising a client-side performance query editor, incorporated as a module of the PIPE2 petri net tool, and a cluster-based server-side evaluation engine. The latter combines the capabilities of a number of parallel and distributed analysis tools.