Please use this identifier to cite or link to this item: http://hdl.handle.net/123456789/12
Title: Verifying Cloud Systems using a Bigraphical Maude-based Model Checker
Authors: Benzadri, Zakaria 
Belala, Faiza 
Bouanaka, Chafia 
Affiliations: Technologies Des Logiciels Et Des Systèmes D’information 
Technologies Des Logiciels Et Des Systèmes D’information 
Technologies Des Logiciels Et Des Systèmes D’information 
Issue Date: 3-Apr-2014
Start page: 3
End page: 12
Conference: ESaaSA@ CLOSER 
Abstract: 
Formal methods are system design techniques based on rigorous mathematical models to build software systems. Our aim in this paper is to define formal specifications of cloud systems and offer analysis support to formally model check their inherent properties. Hence, we define a formal semantic framework, based on Bigraphical Reactive Systems (BRS), for specifying cloud architectures and their shape shifting to ensure service availability and quick scalability. Then, we propose a Bigraphical Maude-based Model Checker to formally verify some properties.
URI: http://dspace.univ-constantine2.dz/handle/123456789/12
https://files.ifi.uzh.ch/stiller/CLOSER%202014/CLOSER/ESaaSA%202014.pdf#page=12
https://www.scitepress.org/papers/2014/49788/49788.pdf
Appears in Collections:Conference Paper

Files in This Item:
File Description SizeFormat
ESaaSA 2014.pdf5.15 MBAdobe PDFView/Open
49788.pdf537.19 kBAdobe PDFView/Open
Show full item record

Page view(s)

25
Last Week
3
Last month
checked on Nov 24, 2020

Download(s)

3
checked on Nov 24, 2020

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.