混合云经纪运营公平性的建模

云服务经纪是一种新兴技术，试图简化混合云的消耗与运营。当今的云经纪试图使消费者免受多个云不确定性的影响。为实现这种隔离，现代云经纪需要通过创建并运营一种我们称之为元云（meta-cloud）的虚拟数据中心构造来向消费者伪装成终端提供商，该构造构建在一组参与的供应商云之上。对于此类云经纪而言，被云消费者和底层云供应商均视为可信伙伴至关重要。经纪信任的一个基本原则是供应商中立性。一方面，如果云经纪保证消费者不会被引导至偏好路径，消费者会感到放心。另一方面，云供应商更有兴趣与承诺公平分配客户配置请求的云经纪合作。由于消费者和供应商对元云经纪的信任源于其对供应商云不可知这一假设，因此需要一种验证云经纪公平性的测试策略。在本文中，我们提出一种公平性演算，定义了判定云经纪运营行为的规则。该演算使用时态逻辑对公平性这一必须随时间确定的特性进行建模；它并非可在单次请求履行层面判定的特征。以我们的时态公平性演算为基础，我们提出一种算法，基于观察到的请求分配策略以概率方式判定经纪的公平性。我们的云经纪行为公平性模型还考虑了供应商间变量，如成本差异与容量方差。