Home // ICSEA 2012, The Seventh International Conference on Software Engineering Advances // View article
Authors:
Dongmei Liu
Hong Zhu
Ian Bayley
Keywords: Cloud computing; formal specification; algebraic specification; RESTful Web services, Infrastructure-as-a-Service
Abstract:
Cloud Computing has attracted attention from both the research community and the industry. It is highly desirable to specify the syntax and semantics of the services precisely and accurately without giving away any design and implementation details. This challenge is even greater for cloud services based on RESTful web services techniques, where the invocation is through HTTP queries and there is no agreed standard exists for their specifications. In this paper, we propose an algebraic approach and apply it, as a case study, to the GoGrid Cloud Computing API. Not only does this give a formal unambiguous specification that is easy to write and understand, but it also identifies and eliminates errors in the existing documentation.
Pages: 407 to 414
Copyright: Copyright (c) IARIA, 2012
Publication date: November 18, 2012
Published in: conference
ISSN: 2308-4235
ISBN: 978-1-61208-230-1
Location: Lisbon, Portugal
Dates: from November 18, 2012 to November 23, 2012