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.
International Journal of High Performance Computing and Networking, 2015 Vol.8 No.3, pp.259 - 274
Received: 11 Nov 2014
Accepted: 27 Dec 2014
Published online: 18 Aug 2015 *