Paper Info
Title
A Case Study on Algebraic Specification of Cloud Computing
Abstract
A cloud often provides a RESTful interface with which to access its services. These are usually specified through an open but informal document in the IT industry. There is no agreed standard for the specification of RESTful web services. In this paper, we propose the application of an algebraic method to the formal specification of such services and report a case study with the GoGrid's RESTful API, an industrial real system that provides Infrastructure-as-a-Service. The case study demonstrates that the algebraic approach can provide formal unambiguous specifications that are easy to read and write. It also demonstrates that formalisation can identify and eliminate ambiguity and inconsistency in informal documents.
Year
DOI
Venue
2013
10.1109/PDP.2013.46
PDP
Keywords
Field
DocType
it industry,application program interfaces,informal document,restful web services,web services,informal documents,algebraic specification,cloud computing,restful interface,case study,formal specification,formal unambiguous specifications,restful api,algebra,algebraic approach,algebraic method,formal unambiguous specification,infrastructure-as-a-service,restful web service
Algebraic specification,Programming language,Authentication,Computer science,Server,Formal specification,Web service,Ambiguity,Semantics,Cloud computing
Conference
ISSN
ISBN
Citations 
1066-6192 E-ISBN : 978-0-7695-4939-2
978-0-7695-4939-2
3
PageRank 
References 
Authors
0.41
11
3
Name
Order
Citations
PageRank
Dongmei Liu1223.86
Hong Zhu21413118.92
Ian Bayley315814.79