Pattern-based orchestration and automatic verification of composite cloud services. (November 2016)

• Record Type: Journal Article
• Authors: Amato, Flora; Moscato, Francesco
• Is Part Of: Computers & electrical engineering. Volume 56(2016)
• Page Start: 842
• Page End: 853
• Publication Date: 2016-11
• Subjects: Cloud patterns -- Verification -- Semantics -- Orchestration -- Service level agreeement -- Quality of service; Computer engineering -- Periodicals; Electrical engineering -- Periodicals; Electrical engineering -- Data processing -- Periodicals; Ordinateurs -- Conception et construction -- Périodiques; Électrotechnique -- Périodiques; Électrotechnique -- Informatique -- Périodiques; Computer engineering; Electrical engineering; Electrical engineering -- Data processing; Periodicals; Electronic journals; 621.302854
• DOI: 10.1016/j.compeleceng.2016.08.006
• Languages: English
• ISSNs: 0045-7906

Abstract

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.