文章基本信息

标题：Distributed execution of bigraphical reactive systems
本地全文：下载
作者：Alessio Mansutti ; Marino Miculan ; Marco Peressotti 等
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2014
卷号：71
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：The bigraph embedding problem is crucial for many results and tools about bigraphs and bigraphical reactive systems (BRS). Current algorithms for computing bigraphical embeddings arecentralized, i.e. designed to run locally with a complete view of the guest and host bigraphs. In order to deal with large bigraphs, and to parallelize reactions, we present adecentralized algorithm, which distributes both state and computation over several concurrent processes. This allows for distributed, parallel simulations where non-interfering reactions can be carried out concurrently; nevertheless, even in the worst case the complexity of this distributed algorithm is no worse than that of a centralized algorithm.