Performance Trees : A Query Specification Formalism For Quantitative Performance Analysis
Performance Trees : A Query Specification Formalism For Quantitative Performance Analysis
复制标题
性能树：用于定量性能分析的查询规范形式
DOI：
10.4203/csets.21.9
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Tamas Suto
中科院分区：
文献类型：
--
作者：
Tamas Suto
现实生活中的系统经常受到由细微错误和瓶颈引起的意外性能问题的困扰。因此，系统设计人员和工程师必须了解实施前后的基本性能特征。随机建模和分析分别提供了将系统抽象为数学描述并从中导出可量化的兴趣度量的方法。迄今为止基本上尚未解决的一个主要挑战是以不牺牲表达能力的可访问方式对模型进行复杂性能查询的规范。本文试图通过引入性能树来解决这一挑战，性能树是随机模型上复杂性能查询的图形规范的一种新形式。性能树的设计目的是通过提供更直观的查询规范方法来实现可访问性，通过能够推理比当前替代方案更广泛的概念来实现表达性，通过支持其他用户定义的概念来扩展性能，并通过其对多种建模形式的适用性来实现多功能性。性能树是在严格的形式框架的背景下呈现的，该框架定义了运算符的语法、类型和定量语义。原型工具支持以PIPE2Petri网工具模块的形式实现，该工具提供图形用户界面和性能Tre查询设计功能。查询评估由一组集成的并行和分布式分析工具支持，并通过将计算分布到专用网格集群上来实现。绩效树的实际应用通过电子投票系统、在线交易系统和医院急症室的案例研究分析场景进行了展示。
Real-life systems are often plagued by unanticipated perfor mance problems caused by subtle bugs and bottlenecks. It is thus essential for system d signers and engineers to have an understanding of their fundamental performance cha ra teristics, both before and after implementation. Stochastic modelling and analysis r espectively provide the means to abstract systems as mathematical descriptions and to der ive quantifiable measures of interest from them. A major, and so far largely unaddressed, challenge is the spe cification of complex performance queries on models in an accessible manner that does not sacrifice expressiveness. This thesis attempts to address this challenge by intr oducing Performance Trees, a new formalism for the graphical specification of complex pe rformance queries on stochastic models. Performance Trees are designed to be access ible by providing a more intuitive approach to query specification, expressive by be ing able to reason about a far broader range of concepts than current alternatives, exten sibl by supporting additional user-defined concepts, and versatile through their applica bility to multiple modelling formalisms. Performance Trees are presented in the context of a rigorous formal framework that defines the syntax, typing and quantitative semantics o f operators. Prototype tool support is implemented in the form of a module of thePIPE2Petri net tool, which provides graphical user interfacing and Performance Tre query design capabilities. Query evaluation is supported by a set of integrated paralle l and distributed analysis tools, and realised by the distribution of computations onto a dedi cated Grid cluster. The practical application of Performance Trees is demonstr ated in the context of case study analysis scenarios of an electronic voting system, an onli e transaction system and a hospital’s Accident & Emergency unit.