Back to Search
Start Over
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
- Source :
- Lecture Notes in Computer Science, Lecture Notes in Computer Science-Formal Techniques for Distributed Objects, Components, and Systems, Formal Techniques for Distributed Objects, Components, and Systems, Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783319191942, FORTE
- Publisher :
- Springer International Publishing
-
Abstract
- Self-organisation mechanisms, in which simple local interactions result in robust collective behaviors, are a useful approach to managing the coordination of large-scale adaptive systems. Emerging pervasive application scenarios, however, pose an openness challenge for this approach, as they often require flexible and dynamic deployment of new code to the pertinent devices in the network, and safe and predictable integration of that new code into the existing system of distributed self-organisation mechanisms. We approach this problem of combining self-organisation and code mobility by extending “computational field calculus”, a universal calculus for specification of self-organising systems, with a semantics for distributed first-class functions. Practically, this allows self-organisation code to be naturally handled like any other data, e.g., dynamically constructed, compared, spread across devices, and executed in safely encapsulated distributed scopes. Programmers may thus be provided with the novel first-class abstraction of a “distributed function field”, a dynamically evolving map from a network of devices to a set of executing distributed processes.
- Subjects :
- Ubiquitous computing
Computer science
Computational field, Core calculus, Operational semantics, Spatial computing
Computational resource
Formal Methods
Operational semantics
Computational field
Ambient calculus
Code (cryptography)
Calculus
Core calculus
Tuple space
Code mobility
Spatial computing
Aggregate Computing
Abstraction (linguistics)
Subjects
Details
- Language :
- English
- ISBN :
- 978-3-319-19194-2
978-3-319-19195-9 - ISSN :
- 03029743 and 16113349
- ISBNs :
- 9783319191942 and 9783319191959
- Database :
- OpenAIRE
- Journal :
- Lecture Notes in Computer Science, Lecture Notes in Computer Science-Formal Techniques for Distributed Objects, Components, and Systems, Formal Techniques for Distributed Objects, Components, and Systems, Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783319191942, FORTE
- Accession number :
- edsair.doi.dedup.....fcda59abdc9a61f941ecfb67b58a4491
- Full Text :
- https://doi.org/10.1007/978-3-319-19195-9_8