A structured methodology for designing distributed algorithms for mobile entities
Autor: | Gabriele Di Stefano, Alfredo Navarra, Serafino Cicerone |
---|---|
Rok vydání: | 2021 |
Předmět: |
Information Systems and Management
Theoretical computer science Asynchrony Computer science Correctness proofs 02 engineering and technology Theoretical Computer Science Artificial Intelligence Euclidean geometry 0202 electrical engineering electronic engineering information engineering Asynchrony Distributed algorithms Mobile entities Pattern formation Mobile entities 05 social sciences 050301 education Common framework Structured methodology Resolution (logic) Computer Science Applications Control and Systems Engineering Distributed algorithm Asynchronous communication Pattern formation Distributed algorithms 020201 artificial intelligence & image processing 0503 education Software |
Zdroj: | Information Sciences. 574:111-132 |
ISSN: | 0020-0255 |
DOI: | 10.1016/j.ins.2021.05.043 |
Popis: | 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 designers and reviewers in the intricate work of delivering and analyzing the proposed resolution strategies. We demonstrate the effectiveness and usefulness of the new methodology by highlighting various peculiarities arising in different scenarios. In particular, we consider two different tasks for asynchronous entities moving in the Euclidean plane and in graphs, respectively. We show how two resolution strategies have been designed by following the accurate guide dictated by the methodology. Furthermore, we also show how the corresponding correctness proofs are obtained. |
Databáze: | OpenAIRE |
Externí odkaz: |