A bigraphical model for specifying cloud-based elastic systems and their behaviour. Issue 6 (2nd November 2017)

• Record Type: Journal Article
• Authors: Sahli, Hamza; Hameurlain, Nabil; Belala, Faiza
• Is Part Of: International journal of parallel, emergent and distributed systems. Volume 32:Issue 6(2017)
• Page Start: 593
• Page End: 616
• Publication Date: 2017-11-02
• Subjects: Formal methods -- modelling -- bigraphical reactive systems -- elasticity -- cloud-based elastic systems -- behaviour; Parallel computers -- Periodicals; Electronic data processing -- Distributed processing -- Periodicals; Computer algorithms -- Periodicals; 004.35
• DOI: 10.1080/17445760.2016.1188927
• Languages: English
• ISSNs: 1744-5760

Abstract

Abstract: The few recent years have witnessed the appearance of a new kind of self-adaptive systems called cloud based-elastic systems. These systems are particularly appealing for their ability to maintain a decent quality of service and reduce a system's operating cost at the same time. They achieve this by dynamically adjusting resources allocation in terms of elasticity. Meanwhile, complexity of structural and behavioural aspects related to cloud-based elastic systems increase the difficulty of designing and developing such systems. In this paper, we address this challenge by proposing a formal approach based on bigraphical reactive systems for modelling both structural and behavioural aspects of cloud-based elastic systems. In particular, we represent their behaviour in terms of client/application interactions and elasticity methods at different levels using bigraphical reaction rules. The feasibility of the proposed approach is illustrated through a motivating example running on the top of an Amazon Elastic Compute Cloud (EC2) infrastructure. Abstract : Modelling cloud-based elastic systems using bigraphical reactive systems