Showing papers by "Antonio Brogi published in 2016"
TL;DR: This paper introduces TOSCA-MART, a method that enables deriving valid implementations for custom components from a repository of complete and validated cloud applications and illustrates how to match, adapt, and reuse existing (fragments of) applications to implement these components while fulfilling all their compliance requirements.
28 citations
28 Nov 2016
TL;DR: The open reference architecture of the SeaClouds solution is presented, enabling a seamless adaptive multi-cloud management of complex applications by supporting the distribution, monitoring and reconfiguration of app modules over heterogeneous cloud providers.
Abstract: We present the open reference architecture of the SeaClouds solution It aims at enabling a seamless adaptive multi-cloud management of complex applications by supporting the distribution, monitoring and reconfiguration of app modules over heterogeneous cloud providers
20 citations
TL;DR: The notions of exact and plug-in matching between TOSCA service templates and node types are defined and implemented and two other types of matching are defined (flexible and white-box), each permitting to ignore larger sets of non-relevant syntactic differences when type-checking service templates with respect to node types.
17 citations
01 Jan 2016
TL;DR: This paper proposes how to extend TOSCA to specify the behaviour of management operations and their relations with states, requirements, and capabilities, and illustrates how such behaviour can be naturally modelled, in a compositional way, by means of open Petri nets.
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 Specification for Cloud Applications (TOSCA) aims at solving this problem by providing a language to describe and manage complex cloud applications in a portable, vendor-agnostic way. TOSCA permits to define 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 first 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 different analyses, such as determining whether a deployment plan is valid, which are its effects, or which plans allow to reach certain system configurations.
12 citations
05 Sep 2016
TL;DR: Fault-aware management protocols are introduced, which permit modelling the management behaviour of application components by taking into account the potential occurrence of faults, and it is shown how such protocols can be composed to analyse the behaviour of a multi-component application and to automate its management.
Abstract: We introduce fault-aware management protocols, which permit modelling the management behaviour of application components by taking into account the potential occurrence of faults, and we show how such protocols can be composed to analyse the behaviour of a multi-component application and to automate its management. We also illustrate a way to recover applications that are stuck because a fault was not properly handled and/or because a component is behaving differently than expected.
9 citations
17 Jul 2016
TL;DR: This paper presents two types of behaviour-aware matching of applications, based on a notion of simulation, that permit to match an operation with a sequence of available operations, and presents a coinductive procedure to compute such relaxed simulation.
Abstract: 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, based on a notion of simulation. We then relax this notion by permitting to match an operation with a sequence of available operations, and present a coinductive procedure to compute such relaxed simulation.
4 citations
Journal Article•
TL;DR: In this article, the authors introduce fault-aware management protocols, which permit modelling the management behaviour of application components by taking into account the potential occurrence of faults, and show how such protocols can be composed to analyse the behaviour of a multi-component application and to automate its management.
Abstract: We introduce fault-aware management protocols, which permit modelling the management behaviour of application components by taking into account the potential occurrence of faults, and we show how such protocols can be composed to analyse the behaviour of a multi-component application and to automate its management. We also illustrate a way to recover applications that are stuck because a fault was not properly handled and/or because a component is behaving differently than expected.
1 citations