Ferruccio Damiani ; Mirko Viroli - Type-based Self-stabilisation for Computational Fields

lmcs:1622 - Logical Methods in Computer Science, December 31, 2015, Volume 11, Issue 4 - https://doi.org/10.2168/LMCS-11(4:21)2015
Type-based Self-stabilisation for Computational Fields

Authors: Ferruccio Damiani ORCID-iD; Mirko Viroli

    Emerging network scenarios require the development of solid large-scale situated systems. Unfortunately, the diffusion/aggregation computational processes therein often introduce a source of complexity that hampers predictability of the overall system behaviour. Computational fields have been introduced to help engineering such systems: they are spatially distributed data structures designed to adapt their shape to the topology of the underlying (mobile) network and to the events occurring in it, with notable applications to pervasive computing, sensor networks, and mobile robots. To assure behavioural correctness, namely, correspondence of micro-level specification (single device behaviour) with macro-level behaviour (resulting global spatial pattern), we investigate the issue of self-stabilisation for computational fields. We present a tiny, expressive, and type-sound calculus of computational fields, and define sufficient conditions for self-stabilisation, defined as the ability to react to changes in the environment finding a new stable state in finite time. A type-based approach is used to provide a correct checking procedure for self-stabilisation.


    Volume: Volume 11, Issue 4
    Published on: December 31, 2015
    Submitted on: December 15, 2014
    Keywords: Computer Science - Logic in Computer Science,Computer Science - Programming Languages
    Fundings :
      Source : OpenAIRE Research Graph
    • Self-aware Pervasive Service Ecosystems; Funder: European Commission; Code: 256873
    • Scalable Hybrid Variability for Distributed Evolving Software Systems; Funder: European Commission; Code: 644298

    Linked data

    Source : ScholeXplorer IsReferencedBy DOI 10.1007/978-3-030-04771-9_22
    • 10.1007/978-3-030-04771-9_22
    • 10.1007/978-3-030-04771-9_22
    Coordination of complex socio-technical systems: Challenges and opportunities
    Mariani, Stefano ;

    14 Documents citing this article

    Share

    Consultation statistics

    This page has been seen 404 times.
    This article's PDF has been downloaded 370 times.