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 条
  • [21] A Case Study for the Cloud Computing Security Threats in a Governmental Organization
    Albakri, Sameer Hasan
    Shanmgam, Bharanidharan
    Samy, Ganthan Narayana
    Idris, Norbik Bashah
    Ahmed, Azuan
    2014 INTERNATIONAL CONFERENCE ON COMPUTER, COMMUNICATIONS, AND CONTROL TECHNOLOGY (I4CT), 2014, : 452 - 457
  • [22] A Case Study of Integrating Enterprise Resources Planning and Cloud Computing
    Kuo, Jen-Hwa
    Wang, Cheng-Hua
    Liao, Jyun-Kai
    2011 AASRI CONFERENCE ON INFORMATION TECHNOLOGY AND ECONOMIC DEVELOPMENT (AASRI-ITED 2011), VOL 1, 2011, : 262 - 266
  • [23] Technology Adoption in Troubled Times: A Cloud Computing Case Study
    Drum, Dawna
    Becker, D'Arcy
    Fish, Matthew
    JOURNAL OF CASES ON INFORMATION TECHNOLOGY, 2013, 15 (02) : 57 - 71
  • [24] Exploring uncertainties in a marketplace for cloud computing: a revelatory case study
    Hauff S.
    Huntgeburth J.
    Veit D.
    Journal of Business Economics, 2014, 84 (3) : 441 - 468
  • [25] Financial Case Study on the Use of Cloud Resources in HEP Computing
    Misawa, Shigeki
    Hollowell, Christopher
    Lauret, Jerome
    Rao, Tejas
    Zaytsev, Alexandr
    26TH INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS, CHEP 2023, 2024, 295
  • [26] Satellite Computing: A Case Study of Cloud-Native Satellites
    Wang, Chao
    Zhang, Yiran
    Li, Qing
    Zhou, Ao
    Wang, Shangguang
    2023 IEEE INTERNATIONAL CONFERENCE ON EDGE COMPUTING AND COMMUNICATIONS, EDGE, 2023, : 262 - 270
  • [27] Agile Software Development Using Cloud Computing: A Case Study
    Younas, Muhammad
    Jawawi, Dayang Norhayati Abang
    Mahmood, Ahmad Kamil
    Ahmad, Mohammad Nazir
    Sarwar, Muhammad Umer
    Idris, Mohd Yazid
    IEEE ACCESS, 2020, 8 (08): : 4475 - 4484
  • [28] A Case Study of Integrating Enterprise Resources Planning and Cloud Computing
    Kuo, Jen-Hwa
    Wang, Cheng-Hua
    Liao, Jyun-Kai
    2011 INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND NEURAL COMPUTING (FSNC 2011), VOL IV, 2011, : 262 - 266
  • [29] An explanatory case study on cloud computing applications in the built environment
    Chong, Heap-Yih
    Wong, John Son
    Wang, Xiangyu
    AUTOMATION IN CONSTRUCTION, 2014, 44 : 152 - 162
  • [30] Impact of Cloud Computing on the IT Portfolio Management: UAE Case Study
    Khan, Shafaq Naheed
    INNOVATION VISION 2020: SUSTAINABLE GROWTH, ENTREPRENEURSHIP, AND ECONOMIC DEVELOPMENT, VOLS 1-4, 2012, : 231 - 236
12345