预测当地政策赋予的资源的全球使用情况
Predicting global usages of resources endowed with local policies
摘要：
计算资源的有效利用是现代分布式应用的主要关注点。在本文中，我们提出了一种方法来推理资源使用（获取，发布，修订，......），因此所提出的方法能够预测资源的不良使用。考虑到本地和全局信息之间的相互作用发生在应用程序的资源交互，我们的资源模型与本地政策和全局属性管理的整体互动的实体。形式上，我们的模型采用了一个扩展的π演算与原语管理资源的形状。我们开发了一个控制流分析计算的静态近似过程的行为，因此资源的使用。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
