Simulation-based matching of cloud applications

OASIS TOSCA aims at solving the problem of managing complex applications across heterogeneous clouds by providing a standard, vendor-agnostic language to describe them. TOSCA permits defining a cloud application as an orchestration of typed components, which can be instantiated by matching other TOS...

Full description

Saved in:
Bibliographic Details
Published in:Science of computer programming 2018-09, Vol.162, p.110-131
Main Authors: Bonchi, Filippo, Brogi, Antonio, Canciani, Andrea, Soldani, Jacopo
Format: Article
Language:English
Subjects:
Coinduction
Reuse
Service matching
Simulation
TOSCA
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:OASIS TOSCA aims at solving the problem of managing complex applications across heterogeneous clouds by providing a standard, vendor-agnostic language to describe them. TOSCA permits defining a cloud application as an orchestration of typed components, which can be instantiated by matching other TOSCA applications. In this paper we first present two types of behaviour-aware matching of applications (exact and plug-in) both based on a notion of simulation. We then extend the notion of plug-in matching by relaxing the notion of simulation to permit matching an operation with a sequence of operations. We also present a coinductive procedure to compute such relaxed simulation, and we formally prove the termination, soundness, and completeness of such procedure. •A notion of behaviour simulation for cloud applications.•Two types of behaviour-aware matching of applications based on such simulation.•A relaxed notion of simulation to match operations with sequences of operations.•A third type of behaviour-aware matching of application based on such simulation.•A coinductive procedure to compute the relaxed notion of simulation.
ISSN:0167-6423
1872-7964
DOI:10.1016/j.scico.2017.06.001