A Case Study on Algebraic Specification of Cloud Computing

被引：4
|
作者：
Liu, Dongmei [1 ]
Zhu, Hong [2 ]
Bayley, Ian [2 ]
机构：
[1] Oxford Brookes Univ, Dept Comp & Commun Technol, Oxford OX33 1HX, England
[2] Nanjing Univ Sci & Technol, Sch Comp Sci & Technol, Nanjing 210094, Peoples R China
来源：
PROCEEDINGS OF THE 2013 21ST EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING | 2013年
关键词：
Cloud computing; RESTful Web Services; Formal specification; Algebraic specification;
D O I：
10.1109/PDP.2013.46
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：269 / 273
页数：5
相关论文
共 50 条
  • [1] FROM AN ERAE REQUIREMENTS SPECIFICATION TO A PLUSS ALGEBRAIC SPECIFICATION - A CASE-STUDY
    MAUBOUSSIN, A
    PERDRIX, H
    BIDOIT, M
    GAUDEL, MC
    HAGELSTEIN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 490 : 395 - 431
  • [2] Cloud Computing for ATM - A Case Study
    Ren, Liling
    Castillo-Effen, Mauricio
    Beckmann, Benjamin
    Citriniti, Tom
    2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,
  • [3] A review of SLA specification languages in the Cloud Computing
    Maarouf, Adil
    Marzouk, Abderrahim
    Haqiq, Abdelkrim
    2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA), 2015,
  • [4] Case study on algebraic software methodologies for scientific computing
    Haveraaen, M.
    Scientific Programming, 2001, 8 (04) : 261 - 273
  • [5] Exergy Consumption of Cloud Computing: A Case Study
    Aleksic, Slavisa
    Safaei, Mehdi
    2014 19TH EUROPEAN CONFERENCE ON NETWORKS AND OPTICAL COMMUNICATIONS - (NOC), 2014, : 1 - 6
  • [6] A Proposal for the Specification of Data Mining Services in Cloud Computing
    Parra-Royon, Manuel
    Benitez, Jose M.
    CLOSER: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, 2018, : 541 - 548
  • [7] Supporting case analysis with algebraic specification languages
    Seino, T
    Ogata, K
    Futatsugi, K
    FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 1073 - 1080
  • [8] Impact of cloud computing on educational institutions: A case study
    Al-Rousan, Thamer
    Al Ese, Hasan A.
    Recent Patents on Computer Science, 2015, 8 (02) : 106 - 111
  • [9] Privacy Supporting Cloud Computing: ConfiChair, a Case Study
    Arapinis, Myrto
    Bursuc, Sergiu
    Ryan, Mark
    PRINCIPLES OF SECURITY AND TRUST, POST 2012, 2012, 7215 : 89 - 108
  • [10] Costs of Cloud Computing for a Biometry Department A Case Study
    Knaus, J.
    Hieke, S.
    Binder, H.
    Schwarzer, G.
    METHODS OF INFORMATION IN MEDICINE, 2013, 52 (01) : 72 - 79
12345