%0 Conference Proceedings
%T Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
%+ Università degli studi di Torino = University of Turin (UNITO)
%+ Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)
%+ Raytheon BBN Technologies
%A Damiani, Ferruccio
%A Viroli, Mirko
%A Pianini, Danilo
%A Beal, Jacob
%Z Part 2: Formal Models of Concurrent and Distributed Systems
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Grenoble, France
%Y Susanne Graf
%Y Mahesh Viswanathan
%I Springer International Publishing
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-9039
%P 113-128
%8 2015-06-02
%D 2015
%R 10.1007/978-3-319-19195-9_8
%K Virtual Machine
%K Pervasive Computing
%K Tuple Space
%K Code Mobility
%K Domain Alignment
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01767321/document
%2 https://inria.hal.science/hal-01767321/file/978-3-319-19195-9_8_Chapter.pdf
%L hal-01767321
%U https://inria.hal.science/hal-01767321
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-9039