DECLARE - Declarative Performance Engineering

DECLARE - 声明性性能工程

• 批准号: 284798617
• 负责人: Professor Dr.-Ing. André van Hoorn
• 金额: --
• 依托单位: Arbeitsbereich Software Engineering and Construction Methods
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2016
• 资助国家: 德国
• 起止时间: 2015-12-31 至 2021-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/284798617?language=en
• 关键词: DECLARE; Declarative; Performance; Engineering

Performance is of particular relevance to software system design, operation, and evolution because it has a major impact on key business indicators. Consequently, during the life-cycle of a software system, performance analysts continuously need to provide answers to and act on performance-relevant questions about response times, hardware utilization, bottlenecks, trends, anomalies, etc. Various established methods, techniques, and tools for modeling and evaluating performance properties have been proposed, ranging from model-based prediction and optimization in early design phases, over measurement-based approaches in phases where implementations exist, up to solutions that continuously evaluate and control a system's performance during operation. However, particular challenges which hinder these techniques from being widely applied in practice include that it is hard to choose and to parameterize the various available approaches, as well as to filter and interpret the obtained results. DECLARE will address these challenges introducing a Declarative Performance Engineering approach. We envision to reduce the current abstraction gap between the level on which performance-relevant concerns are formulated and the level on which performance evaluations are actually executed. Performance queries and goals are formulated in a declarative modeling language. Performance evaluation methods, techniques, and tools are integrated into the DECLARE platform based on capability models and adapters, and are selected based on corresponding decision algorithms. We will experimentally and empirically evaluate the results using benchmark systems and based on a large-scale industrial application system. We build on our expertise in the area of combining model-based and measurement-based performance evaluation techniques, including preliminary results on Declarative Performance Engineering. DECLARE will be integrated into the second phase of the Priority Programme "Design for Future - Managed Software Evolution" (SPP 1593), including collaborations with other projects inside the SPP and by contributing to the SPP case studies, focusing on CoCoME.

性能与软件系统设计、操作和进化特别相关，因为它对关键业务指标有重大影响。因此，在软件系统的生命周期中，性能分析人员不断地需要对响应时间、硬件利用率、瓶颈、趋势、异常等与性能相关的问题提供答案并采取行动。已经提出了各种已建立的建模和评估性能属性的方法、技术和工具，范围从早期设计阶段基于模型的预测和优化，到存在实现阶段的基于测量的方法，再到在运行过程中持续评估和控制系统性能的解决方案。然而，阻碍这些技术在实践中广泛应用的特殊挑战包括难以选择和参数化各种可用方法，以及过滤和解释所获得的结果。DECLARE将引入声明性性能工程方法来解决这些挑战。我们设想减少与性能相关的关注被制定的层次和性能评估被实际执行的层次之间当前的抽象差距。性能查询和目标是用声明性建模语言表述的。基于能力模型和适配器，将性能评估方法、技术和工具集成到DECLARE平台中，并根据相应的决策算法进行选择。我们将使用基准系统和基于大规模工业应用系统的实验和经验评估结果。我们在结合基于模型和基于测量的性能评估技术方面建立了我们的专业知识，包括声明性性能工程的初步结果。DECLARE将被纳入优先项目“面向未来的设计——可管理的软件进化”（spp1593）的第二阶段，包括与SPP内部的其他项目合作，并为SPP案例研究做出贡献，重点是CoCoME。