APICe » Publications » Time-Fluid Field-Based Coordination

Time-Fluid Field-Based Coordination

Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
Emerging application scenarios, such as cyber-physical systems (CPSs), the Internet of Things (IoT), and edge computing, call for coordination approaches addressing openness, self-adaptation, heterogeneity, and deployment agnosticism. Field-based coordination is one such approach, promoting the idea of programming system coordination declaratively from a global perspective, in terms of functional manipulation and evolution in ``space and time'' of distributed data structures, called fields. More specifically, regarding time, in field-based coordination it is assumed that local activities in each device, called computational rounds, are regulated by a fixed clock, typically, a fair and unsynchronized distributed scheduler. In this work, we challenge this assumption, and propose an alternative approach where the round execution scheduling is naturally programmed along with the usual coordination specification, namely, in terms of a field of causal relations dictating what is the notion of causality (why and when a round has to be locally scheduled) and how it should change across time and space. This abstraction over the traditional view on global time allows us to express what we call ``time-fluid'' coordination, where causality can be finely tuned to select the event triggers to react to, up to to achieve improved balance between performance (system reactivity) and cost (usage of computational resources). We propose an implementation in the aggregate computing framework, and evaluate via simulation on a case study.
Coordination Models and Languages, pages 193--210, 2020.
Simon Bliudze, Laura Bocchi (eds.), Springer International Publishing, Cham
@inproceedings{10.1007/978-3-030-50029-0_13,
	booktitle = {Coordination Models and Languages},
	year = 2020,
	status = {Published},
	venue_list = {--},
	url = {https://link.springer.com/chapter/10.1007/978-3-030-50029-0_13},
	editor = {Bliudze, Simon and Bocchi, Laura},
	venue_s = {Coordination 2020},
	publisher = {Springer International Publishing},
	author = {Pianini, Danilo and Mariani, Stefano and Viroli, Mirko and Zambonelli, Franco},
	title = {Time-Fluid Field-Based Coordination},
	isbn = {978-3-030-50029-0},
	abstract = {Emerging application scenarios, such as cyber-physical systems (CPSs), the Internet of Things (IoT), and edge computing, call for coordination approaches addressing openness, self-adaptation, heterogeneity, and deployment agnosticism. Field-based coordination is one such approach, promoting the idea of programming system coordination declaratively from a global perspective, in terms of functional manipulation and evolution in ``space and time'' of distributed data structures, called fields. More specifically, regarding time, in field-based coordination it is assumed that local activities in each device, called computational rounds, are regulated by a fixed clock, typically, a fair and unsynchronized distributed scheduler. In this work, we challenge this assumption, and propose an alternative approach where the round execution scheduling is naturally programmed along with the usual coordination specification, namely, in terms of a field of causal relations dictating what is the notion of causality (why and when a round has to be locally scheduled) and how it should change across time and space. This abstraction over the traditional view on global time allows us to express what we call ``time-fluid'' coordination, where causality can be finely tuned to select the event triggers to react to, up to to achieve improved balance between performance (system reactivity) and cost (usage of computational resources). We propose an implementation in the aggregate computing framework, and evaluate via simulation on a case study.},
	pages = {193--210},
	address = {Cham},
	doi = {10.1007/978-3-030-50029-0_13}}