Ensuring Faultless Communication Behaviour in A Commercial Cloud

• Main Authors: 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

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...