Recent years have seen an increase of complexity in paradigms and languages for development of Cloud Systems. The need to build value added services and resources promoted pattern-based composition and orchestration as new hot research topics. Anyway, unlike web services, it is unclear what orchestration means for Cloud Systems. In this scenario, a way to automatically build composite services from their pattern-based description is appealing. In this work we describe a methodology for automatic composition and verification of Cloud Services which is driven by formal orchestration language. © 2016
Pattern-based orchestration and automatic verification of composite cloud services / Amato, Flora; Moscato, Francesco. - In: COMPUTERS & ELECTRICAL ENGINEERING. - ISSN 0045-7906. - 56:(2016), pp. 842-853. [10.1016/j.compeleceng.2016.08.006]
Pattern-based orchestration and automatic verification of composite cloud services
AMATO, FLORA;MOSCATO, FRANCESCO
2016
Abstract
Recent years have seen an increase of complexity in paradigms and languages for development of Cloud Systems. The need to build value added services and resources promoted pattern-based composition and orchestration as new hot research topics. Anyway, unlike web services, it is unclear what orchestration means for Cloud Systems. In this scenario, a way to automatically build composite services from their pattern-based description is appealing. In this work we describe a methodology for automatic composition and verification of Cloud Services which is driven by formal orchestration language. © 2016| File | Dimensione | Formato | |
|---|---|---|---|
|
S0045790616302026.pdf
Open Access dal 26/03/2017
Descrizione: Articolo Pubblicato
Licenza:
Accesso privato/ristretto
Dimensione
1.71 MB
Formato
Adobe PDF
|
1.71 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
