Authors: Francesco Moscato; Flora Amato; Alba Amato; Rocco Aversa
Addresses: Dipartimento di Studi Politici Jean Monnet, Second University of Naples, Napoli, Italy ' Department of Electrical Engineering and Information Technology, University of Napoli Federico II, Napoli, Italy ' Dipartimento di Ingegneria dell'Informazione, Second University of Naples, Napoli, Italy ' Dipartimento di Ingegneria dell'Informazione, Second University of Naples, Napoli, Italy
Abstract: Cloud architecture is established as a standard for services provisioning. Discovering of services is a hard task since several services have to be analysed. The mOSAIC project aims at providing a framework for searching and interfacing services from multiple vendors. Its main component, the cloud agency, provides searching and wrapping features and the management of Services Level Agreements (SLAs). In this scenario, validating services requirements is appealing. Usually users are forced to use SLAs pre-offered by providers that need to reconfigure cloud components in order to meet requests. Model-Driven Engineering (MDE) methodologies allow for requirements verification during all life cycle of systems. They can be exploited in definition of models for cloud components that have to be used and configured in order to fulfil requested service levers. Here, the MetaMORP(h)OSY methodology and framework are introduced and applied to the verification of SLAs in the mOSAIC platform.
Keywords: cloud computing; model-driven engineering; formal models; cloud components; service discovery; service level agreements; SLAs; requirements verification; system life cycle.
International Journal of Grid and Utility Computing, 2014 Vol.5 No.2, pp.107 - 122
Received: 16 Nov 2012
Accepted: 21 Jun 2013
Published online: 29 Oct 2014 *