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:
Usage 14
Abstract Views 14
Captures 8
Readers 8
Social Media 23
Shares, Likes & Comments 23
Citations 3
Citation Indexes 3
Chiara Bodei; Viet Dung Dinh; Gian-Luigi Ferrari
Elsevier BV
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.