Predicting global usages of resources endowed with local policies

Abstract

The effective usages of computational resources are a primary concern of up-to-date distributed applications. In this paper, we present a methodology to reason about resource usages (acquisition, release, revision, ...), and therefore the proposed approach enables to predict bad usages of resources. Keeping in mind the interplay between local and global information occurring in the application-resource interactions, we model resources as entities with local policies and global properties governing the overall interactions. Formally, our model takes the shape of an extension of pi-calculus with primitives to manage resources. We develop a Control Flow Analysis computing a static approximation of process behaviour and therefore of the resource usages

Checking global usage of resources handled with local policies

“…In this section, we present a control flow analysis for our calculus, extending the one for π-calculus [19]. This CFA is simpler than the one in [21], because it is not contextual, i.e. the analysis is insensitive to the context.…”

“…This article is the full version of the extended abstract in [21]. The conference paper addressed the problem of managing finite sequential processes only.…”

Formalising Security in Ubiquitous and Cloud Scenarios

“…A core functional language extended with explicit primitives for computational resource usage has been proposed in [24]. A process calculus with explicit primitives to control the distributed acquisition of resources has been presented in [25].…”