Checking global usage of resources handled with local policies

详细信息    查看全文

• 作者：Chiara Bodei ; ^{chiara@di.unipi.it" class="auth_mail" title="E-mail the corresponding author} ; Viet Dung Dinh ^{dinh@di.unipi.it" class="auth_mail" title="E-mail the corresponding author} ; Gian-Luigi Ferrari ^{giangi@di.unipi.it" class="auth_mail" title="E-mail the corresponding author}
• 关键词：Network resources ; Process calculi ; Publish-subscribe systems ; Formal methods ; Control flow analysis
• 刊名：Science of Computer Programming
• 出版年：2017
• 出版时间：1 January 2017
• 年：2017
• 卷：133
• 期：part_P1
• 页码：20-50
• 全文大小：915 K

文摘

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.