Paper Info
Title
Exploiting model profiles in requirements verification of cloud systems
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.
Year
DOI
Venue
2015
10.1504/IJHPCN.2015.071258
IJHPCN
Field
DocType
Volume
Open research,Services computing,Software engineering,Cloud systems,Computer science,Model-driven architecture,Real-time computing,Exploit,Software,Formal methods,Distributed computing,Cloud computing
Journal
8
Issue
Citations 
PageRank 
3
8
0.49
References 
Authors
35
1
Name
Order
Citations
PageRank
Francesco Moscato129832.28