Automatic Monitor Generation for Cloud Services
| Autor: | Davide Di Domenico, Francesco Moscato |
|---|---|
| Přispěvatelé: | Leonard Barolli, Fatos Xhafa, Moscato, Francesco, DI DOMENICO, D. |
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
Database
Monitoring business.industry Computer science Services computing Cloud computing Formal methods computer.software_genre Formal Methods Cloud Model Driven Engineering Software Open research Unified Modeling Language Cloud testing Model-driven architecture Software engineering business computer Formal Method computer.programming_language |
| Zdroj: | CISIS |
| Popis: | 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 realizing and distributing everything-as-a-service, including infrastructures, hardware and software platforms and services. So, composition, analysis and validation of Cloud services are open research challenges. In this work, we describe a Modeling 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. In particular we show the application of the MDE technique to automatic generation of monitors for properties verification and prediction of behaviours of composite services at run time. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|