Ensuring Faultless Communication Behaviour in A Commercial Cloud

• المؤلفون الرئيسيون: Umarov, Timur, Horne, Ross
• مؤلفون آخرون: School of Computer Engineering
• التنسيق: Conference or Workshop Item
• اللغة: English
• منشور في: 2015
• الموضوعات: Session types; Runtime monitors; Cloud; Intercloud
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/81009; http://hdl.handle.net/10220/39008
• المؤسسة: Nanyang Technological University

For many Cloud providers, the backbone of their system is a Cloud coordinator that exposes a portfolio of services to users. The goal of this work is to ensure that a Cloud coordinator interacts correctly with services and users according to a specification of their communication behaviour. To accom...