Ensuring Faultless Communication Behaviour in A Commercial Cloud

• Main Authors: Umarov, Timur, Horne, Ross
• Other Authors: School of Computer Engineering
• Format: Conference or Workshop Item
• Language: English
• Published: 2015
• Subjects: Session types; Runtime monitors; Cloud; Intercloud
• Online Access: https://hdl.handle.net/10356/81009; http://hdl.handle.net/10220/39008
• Institution: 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...