Towards Aggregate Processes in a Field Calculus-Based Platform

Aggregate programming è un paradigma promettente che vuole spostare il modo di vedere i sistemi distribuiti da una visione locale dei singoli device ad una visione aggregata. Il comportamento viene definito trattando il sistema nell'insieme come una singola entità, mentre le interazioni fra singoli diventa implicita. Tuttavia, il comportamento delle entità in sistemi distribuiti adattivi complessi potrebbe cambiare nel tempo per via di politiche di self-organization. In questo scenario, si creano dei gruppi dinamici di entità con l'obiettivo di raggiungere determinati risultati. Un processo aggregato identifica un insieme di azioni che ogni entità di un gruppo deve eseguire. Il lavoro svolto in questa tesi discute nel dettaglio il concetto di Aggregate process applicato ad aggregate computing. Un framework basato su aggregate programming e field calculus, chiamato scafi, è utilizzato per fornire una implementazione per Aggregate processes. Come prova di concetto, vengono presentate delle librerie che implementano modelli di coordinazione recenti. In particolare, i modelli in questione sono Spatial tuples, un modello basato sullo spazio di tuple in cui le tuple hanno una posizione fisica nello spazio, e Replicated gossip, una versione migliorata dei classici protocolli di gossip in cui sono utilizzate delle replicazioni basate sul tempo.