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 
Date: 3-Apr-2014
Start page: 3
End page: 12
Conference: 2nd International Workshop on Emerging Software as a Service and Analytics 
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
DOI: 10.5220/0004978800030012
Appears in Collections:Conference Paper

Files in This Item:
File Description SizeFormat
ESaaSA 2014.pdf5.15 MBAdobe PDFView/Open

Show full item record

Page view(s)

29
Last Week
0
Last month
2
checked on Jan 29, 2021

Download(s)

4
checked on Jan 29, 2021

Google ScholarTM

Check

Altmetric

Altmetric


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