How to flexibly manage complex applications over heterogeneous clouds is one of the emerging problems in the cloud era. The OASIS Topology and Orchestration Specication for Cloud Applications (TOSCA) aims at solving this problem by providing a language to describe and manage complex cloud applications in a portable, vendoragnostic way. TOSCA permits to dene an application as an orchestration of nodes, whose types can specify states, requirements, capabilities and management operations | but not how they interact each another. In this paper we rst propose how to extend TOSCA to specify the behaviour of management operations and their relations with states, requirements, and capabilities. We then illustrate how such behaviour can be naturally modelled, in a compositional way, by means of open Petri nets. The proposed modelling permits to automate dierent analyses, such as determining whether a deployment plan is valid, which are its eects, or which plans allow to reach certain system congurations.
A Petri net-based approach to model and analyze the management of cloud applications
BROGI, ANTONIO;CANCIANI, ANDREA;SOLDANI, JACOPO;
In corso di stampa
Abstract
How to flexibly manage complex applications over heterogeneous clouds is one of the emerging problems in the cloud era. The OASIS Topology and Orchestration Specication for Cloud Applications (TOSCA) aims at solving this problem by providing a language to describe and manage complex cloud applications in a portable, vendoragnostic way. TOSCA permits to dene an application as an orchestration of nodes, whose types can specify states, requirements, capabilities and management operations | but not how they interact each another. In this paper we rst propose how to extend TOSCA to specify the behaviour of management operations and their relations with states, requirements, and capabilities. We then illustrate how such behaviour can be naturally modelled, in a compositional way, by means of open Petri nets. The proposed modelling permits to automate dierent analyses, such as determining whether a deployment plan is valid, which are its eects, or which plans allow to reach certain system congurations.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
