Exploiting Model Profiles in Requirements Verification of Cloud Systems

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