Checking global usage of resources handled with local policies

Citation data:

Science of Computer Programming, ISSN: 0167-6423, Vol: 133, Page: 20-50

Publication Year:
2017
Usage 14
Abstract Views 14
Captures 5
Readers 5
Social Media 23
Shares, Likes & Comments 23
Citations 1
Citation Indexes 1
DOI:
10.1016/j.scico.2016.06.005
Author(s):
Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari
Publisher(s):
Elsevier BV
Tags:
Computer Science
article description
We present a methodology to reason about resource usage (acquisition, release, revision, and so on) and, in particular, to predict bad usage of resources. Keeping in mind the interplay between local and global information that occur in application-resource interactions, we model resources as entities with local policies and we study global properties that govern overall interactions. Formally, our model is an extension of π -calculus with primitives to manage resources. To predict possible bad usage of resources, we develop a Control Flow Analysis that computes a static over-approximation of process behaviour.

This article has 0 Wikipedia mention.