.png){kind=icon}
.png){kind=icon}
Return
Pattern-based orchestration and automatic verification of composite cloud services
.png){kind=icon}
PRE
AI
DOI：10.1016/j.compeleceng.2016.08.006.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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. (C) 2016 Elsevier Ltd. All rights reserved.
Keywords:
Cloud patterns
Verification
Semantics
Orchestration
Service level agreeement
Quality of service
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
C
IF:
4.9
Papers:
6.7K
Citations:
1.3W