Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorUmarov, Timuren
dc.contributor.authorHorne, Rossen
dc.identifier.citationHorne, R., & Umarov, T. (2015). Ensuring Faultless Communication Behaviour in A Commercial Cloud. Lecture Notes in Computer Science, 8368, 44-55.en
dc.description.abstractFor 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.en
dc.rights© 2014 Springer International Publishing Switzerland. This is the author created version of a work that has been peer reviewed and accepted for publication by SEFM Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert (2013: Madrid, Spain), Lecture Notes in Computer Science, Springer. It incorporates referee’s comments but changes resulting from the publishing process, such as copyediting, structural formatting, may not be reflected in this document. The published version is available at: [].en
dc.subjectSession typesen
dc.subjectRuntime monitorsen
dc.titleEnsuring Faultless Communication Behaviour in A Commercial Clouden
dc.typeConference Paperen
dc.contributor.schoolSchool of Computer Engineeringen
dc.contributor.conferenceSEFM Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert (2013: Madrid, Spain)en
dc.description.versionAccepted versionen
item.fulltextWith Fulltext-
Appears in Collections:SCSE Conference Papers
Files in This Item:
File Description SizeFormat 
faultless.pdf132.01 kBAdobe PDFThumbnail

Page view(s)

Updated on Dec 8, 2022

Download(s) 50

Updated on Dec 8, 2022

Google ScholarTM




Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.