Ensuring faultless communication behaviour in a commercial cloud

Ross Horne*, Timur Umarov

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Abstract

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 accomplish this goal, we employ session types to analyse the global and local communication patterns. A session type provides an appropriate level of abstraction for specifying message exchange patterns between participants. This work confirms the feasibility of applying session types to protocols used by a commercial Cloud provider. The protocols are developed in SessionJ, an extension of Java implementing session-based programming. We also highlight that the same techniques can be applied when Java is not the development environment by type checking runtime monitors, as in Scribble. Finally, we suggest how our methodology can be used to ensure the correctness of protocols for Cloud brokers, that integrate services exposed by multiple Cloud coordinators, each of whom must correctly cooperate with the Cloud broker.

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods
Subtitle of host publicationSEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
EditorsSteve Counsell, Manuel Núñez
Place of PublicationCham, Switzerland
PublisherSpringer
Pages44-55
Number of pages12
ISBN (Electronic)9783319050324
ISBN (Print)9783319050317
DOIs
Publication statusPublished - 1 Jan 2014
Event11th International Conference on Software Engineering and Formal Methods, SEFM 2013 - Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert - Madrid, Spain
Duration: 23 Sept 201424 Sept 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8368 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th International Conference on Software Engineering and Formal Methods, SEFM 2013 - Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert
Country/TerritorySpain
CityMadrid
Period23/09/1424/09/14

Keywords

  • cloud
  • intercloud
  • runtime monitors
  • session types

Fingerprint

Dive into the research topics of 'Ensuring faultless communication behaviour in a commercial cloud'. Together they form a unique fingerprint.

Cite this