文章基本信息

标题：Formalization of Distributed and Dynamic Resources Allocation Using Category Theory
本地全文：下载
作者：You, Zhen ; Xue, Jinyun ; Ying, Shi 等
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2013
卷号：8
期号：12
页码：3088-3095
DOI：10.4304/jsw.8.12.3088-3095
语种：English
出版社：Academy Publisher
摘要：Distribution and dynamics are the main characteristics of resource allocation problem. Despite the variety of approaches and models proposed for the problem, a systematic formalization and a general solution strategy are missing. This paper takes a step towards this goal by proposing a categorical formalization of resource allocation, which not only represents both distributed and dynamic features, but also formally prove the properties of symmetry, safety(non-deadlock), liveness(non-starvation) and concurrency. The application to the wireless sensor networks demonstrates the practicability of our formal model and emphasizes the strengths of category theory -- its simple theory, abstract mechanism, diagrammatical representation and its expressive power in representing and reasoning many concepts of computer science.
关键词：Resource Allocation;Category Theory;Formal Model;Wireless Sensor Networks