论文标题
设计移动实体分布式算法的方法：模式形成问题作为案例研究
A methodology to design distributed algorithms for mobile entities: the pattern formation problem as case study
论文作者
论文摘要
在过去二十年的移动实体对分布式计算问题进行广泛的调查之后，我们考虑了解决ARISEN问题的结构化方法。目的是简化分辨率算法的设计和所需的正确性证明的编写。我们将鼓励使用一个共同框架，以帮助算法设计师和审阅者进行分析拟议的分辨率策略的复杂工作。为了更好地了解我们方法的潜力，我们考虑了[Fujinaga等人的模式形成（PF）问题。 Siam J. Comput。，2015年]作为案例研究。由于拟议的分辨率算法事实证明是不准确的，而且很难解决，因此我们设计了一种以提出的方法论为指导的新算法，因此充分表征了问题。
Following the wide investigation in distributed computing issues by mobile entities of the last two decades, we consider the need of a structured methodology to tackle the arisen problems. The aim is to simplify both the design of the resolution algorithms and the writing of the required correctness proofs. We would encourage the usage of a common framework in order to help both algorithm designer and reviewers in the intricate work of analyzing the proposed resolution strategies. In order to better understand the potentials of our methodology, we consider the Pattern Formation (PF) problem approached in [Fujinaga et al. SIAM J. Comput., 2015] as case study. Since the proposed resolution algorithm has turned out to be inaccurate and also of difficult fixing, we design a new algorithm guided by the proposed methodology, hence fully characterizing the problem.
