Title: Exploiting model profiles in requirements verification of cloud systems

Authors: Francesco Moscato

Addresses: DiSciPol, Second University of Naples, Viale Ellittico 31, 81100, Caserta (CE), Italy

Abstract: Cloud systems arose in the last years as a standard de-facto in IT enterprises for offering practically any kind of services to worldwide users. They provide means for realising and distributing everything-as-a-service, including infrastructures, hardware and software platforms and services. Even if now, service-centric models and technologies are mature in the IT scenario, the composition, analysis and validation of cloud services are open research challenges. In this work, we describe a modelling profile that enables model driven engineering (MDE) analysis of systems and requirements verification of cloud-based services. The verification process exploits formal methods during the whole life cycle of services. We show the application of the proposed methodology in a simple example.

Keywords: model driven engineering; MDE; cloud systems; formal methods; requirements verification; modelling profiles; cloud computing.

DOI: 10.1504/IJHPCN.2015.071258

International Journal of High Performance Computing and Networking, 2015 Vol.8 No.3, pp.259 - 274

Available online: 18 Aug 2015 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article