Towards Exogenous Coordination of Concurrent Cloud Applications

被引:0
|
作者
Le-Khanh, Trinh [1 ]
Nguyen, Hoang-Gia [2 ]
Bliudze, Simon [3 ]
Merle, Philippe [3 ]
机构
[1] VNU Univ Engn & Technol, Fac Informat Technol, Hanoi, Vietnam
[2] CEA, LIST, F-91191 Gif Sur yvette, France
[3] Univ Lille, Inria, CNRS, Cent Lille,UMR 9189,CRIStALF, F-59000 Lille, France
关键词
Concurrent system; cloud computing; exogenous coordination; !text type='Java']Java[!/text]BIP; OCCIware; verification; ALGEBRA; MODEL; CONNECTORS; MANAGEMENT; TOOL;
D O I
10.1142/S0218194023500389
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Cloud computing offers opportunities to increase productivity and reduce costs. Quickly adapting to changing needs is key to maintaining cloud applications. In traditional development, coordination is implemented in computational code. Although change impact analyses are studied, adjusting the implementation is time-consuming and error-prone when the coordination strategy changes. Exogenous coordination separates the implemented coordination and computational code to cope with this problem. This separation improves the reusability of components. Additionally, other applications with similar interaction patterns can reuse the coordination specification. The main contribution of this paper is to propose a methodology to develop and maintain cloud applications following the exogenous approach. To illustrate the idea, we introduce a new framework named OCCIwareBIP, which integrates JavaBIP - a framework for the exogenous coordination of concurrent Java components into OCCIware - a framework for designing cloud applications. We also leverage the coordination model to verify the deadlock-freedom of the cloud application. Finally, we present an application to show the ability of our approach to guarantee the safety and benefits of modularization in developing concurrent cloud applications.
引用
收藏
页码:1 / 25
页数:25
相关论文
共 50 条
  • [1] Exogenous coordination of concurrent software components with Java']JavaBIP
    Bliudze, Simon
    Mavridou, Anastasia
    Szymanek, Radoslaw
    Zolotukhina, Alina
    SOFTWARE-PRACTICE & EXPERIENCE, 2017, 47 (11): : 1801 - 1836
  • [2] Towards Interaction Reliability in Concurrent Applications
    Bliudze, Simon
    Bruni, Roberto
    Carbone, Marco
    Silva, Alexandra
    SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2012, 22 (01) : 1 - 4
  • [3] Engineering coordination polymers towards applications
    Janiak, C
    DALTON TRANSACTIONS, 2003, (14) : 2781 - 2804
  • [4] Towards building a cloud for scientific applications
    Wang, Lizhe
    Kunze, Marcel
    Tao, Jie
    von Laszewski, Gregor
    ADVANCES IN ENGINEERING SOFTWARE, 2011, 42 (09) : 714 - 722
  • [5] Towards the Modelling of Hybrid Cloud Applications
    Kritikos, Kyriakos
    Skrzypek, Pawel
    Moga, Alexandru
    Matei, Oliviu
    2019 IEEE 12TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING (IEEE CLOUD 2019), 2019, : 291 - 295
  • [6] Towards Modern Development of Cloud Applications
    Ghemawat, Sanjay
    Grandl, Robert
    Petrovic, Srdjan
    Whittaker, Michael
    Patel, Parveen
    Posva, Ivan
    Vahdat, Amin
    PROCEEDINGS OF THE 19TH WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS, HOTOS 2023, 2023, : 110 - 117
  • [7] Towards an Edge Cloud Based Coordination Platform for Multi -User AR Applications Built on Open -Source SLAMs
    Sonkoly, Balazs
    Nagy, Balint Gyorgy
    Doka, Janos
    Kecskes-Solymosi, Zsofia
    Czentye, Janos
    Formanek, Bence
    Jocha, David
    Gero, Balazs Peter
    2023 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, 2023, : 923 - 924
  • [8] Coordination polymers towards applications: Chirality by design
    Esterman, Anthony R.
    Fernandes, Manuel A.
    ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2008, 64 : C529 - C529
  • [9] Towards context consistency by concurrent checking for Internetware applications
    XU Chang
    LIU YePang
    CHEUNG S.C.
    CAO Chun
    LV Jian
    Science China(Information Sciences), 2013, 56 (08) : 69 - 88
  • [10] Towards context consistency by concurrent checking for Internetware applications
    Chang Xu
    YePang Liu
    S. C. Cheung
    Chun Cao
    Jian Lv
    Science China Information Sciences, 2013, 56 : 1 - 20