弹性建模与仿真的架构视图类型 -- Slingshot 方法

云计算模型使资源按需 provisioning，减少了手动管理，提高了效率，并改善了环境影响。软件架构师现在在设计和部署弹性策略以实现自动化资源管理方面�演着战略性作用。然而，设计既满足性能目标又满足成本目标的弹性策略极具挑战性。现有的做法往往依赖诸如排队论等形式模型，需要高级技能，且缺乏针对架构模型中弹性表示的具体方法。本文引入一种用于建模和仿真弹性的架构视图类型，支持Scaling Policy Definition（SPD）建模语言，这是一种视觉表示法，以及精确的仿真语义。该视图类型集成到Palladio生态系统中，提供概念支持和工具支持。我们通过两个单案例实验和一个用户研究进行评估。第一个实验表明，弹性策略的仿真结果与负载测试结果相当，显示了仿真在评估弹性的实用性。第二个实验确认了大型应用程序的可行性，但伴随更长的仿真时间。用户研究显示，参与者完成了90%的任务，用户可访问性评分为71%，在接近分配时间的一半时间内获得了76%的平均得分。然而，实证证据表明，尽管该架构视图在弹性策略设计和评估方面具有优势，但建模所需时间仍高于控制流、资源环境或使用轮廓的建模。