弥合控制与自适应系统性能之间的差距
Towards Bridging the Gap between Control and Self-Adaptive System Properties
摘要：
用于构建自适应软件的两个主要范例使用不同类型的属性来捕获系统运行时行为的相关方面。一方面，控制系统考虑与稳定性等静态方面有关的属性，以及捕获变量（如稳定时间）的瞬态演变的动态属性。另一方面，自适应系统主要考虑非功能特性，这些特性捕获了诸如性能、可靠性和成本等问题。一般来说，协调这两种类型的属性或确定在哪些条件下它们构成提供运行时保证的良好匹配并不容易。有必要确定控制和自适应领域的关键特性，并对其进行定性和绘图，以更好地了解它们如何相互关联并可能相互补充。在本文中，我们通过以下方式迈出了解决这一问题的第一步：（1）识别控制理论中的一组关键属性，（2）使用通常用于设计自适应软件系统的时序逻辑语言来说明这些属性中的一些的形式化，以及（3）说明如何将表征自适应软件系统的关键属性映射成控制属性，利用它们在时间逻辑中的形式化。我们说明了不同的步骤映射上的一个典型的情况下，在云计算域，并确定在该地区的开放性挑战的结论。
英文摘要：
Two of the main paradigms used to build adaptive software employ different types of properties to capture relevant aspects of the system's run-time behavior. On the one hand, control systems consider properties that concern static aspects like stability, as well as dynamic properties that capture the transient evolution of variables such as settling time. On the other hand, self-adaptive systems consider mostly non-functional properties that capture concerns such as performance, reliability, and cost. In general, it is not easy to reconcile these two types of properties or identify under which conditions they constitute a good fit to provide run-time guarantees. There is a need of identifying the key properties in the areas of control and self-adaptation, as well as of characterizing and mapping them to better understand how they relate and possibly complement each other. In this paper, we take a first step to tackle this problem by: (1) identifying a set of key properties in control theory, (2) illustrating the formalization of some of these properties employing temporal logic languages commonly used to engineer self-adaptive software systems, and (3) illustrating how to map key properties that characterize self-adaptive software systems into control properties, leveraging their formalization in temporal logics. We illustrate the different steps of the mapping on an exemplar case in the cloud computing domain and conclude with identifying open challenges in the area.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
