Predicting global usages of resources endowed with local policies

Chiara Bodei
Viet Dung Dinh
Gian Luigi Ferrari

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.

In Mohammad Reza Mousavi and Antonio Ravara: Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011), Aachen, Germany, 10th September, 2011, Electronic Proceedings in Theoretical Computer Science 58, pp. 49–64.
Published: 29th July 2011.

ArXived at: https://dx.doi.org/10.4204/EPTCS.58.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org