Background

Background

Papers

On the Collective Sort Problem for Distributed Tuple Spaces (article in journal, 2009)Matteo Casadei, Mirko Viroli, Luca Gardelli
This article presents a comprehensive description of an ant-based, self-organizing algorithms for data aggregation in networks of distributed tuple spaces, showing that data can emergently achieve a cluster-based spatial organization depending on the shape of the carried information.
A Framework for Modelling and Implementing Self-Organising Coordination (paper in proceedings, 2009)Mirko Viroli, Matteo Casadei, Andrea Omicini
This paper provides a definition of self-organizing coordination, intended as the way of managing interactions in software system by relying on self-organizing metaphors. The key features of self-organizing coordination are also introduced and described and a series of examples of systems relying on self-organizing coordination approaches presented.
A Biochemical Approach to Adaptive Service Ecosystems (article in journal, 2010)Mirko Viroli, Franco Zambonelli
We believe this paper is currently the one which most clearly states the requirements and objectives of pervasive service ecosystems. It also sketches a chemical-inspired approach to eco-laws construction, where chemical concentration is used to manage a service "activity value", promoting some ecological patterns of behaviour.
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (paper in proceedings, 2010)Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
This paper motivates the use of a model of chemical tuple spaces for the coordination of situated, adaptive, and diversity-accommodating pervasive systems. Moreover it is outlined a incarnation of that model on the TuCSoN coordination infrastructure, which can be suitably enhanced with modules supporting semantic coordination and execution engine for chemical-inspired coordination laws.
Chemical-Inspired Self-Composition of Competing Services (paper in proceedings, 2010)Mirko Viroli, Matteo Casadei
This paper introduces a model of service self-composition based on the use of ecological laws, which are specified by relying on the biochemical tuple space model. The paper shows how service lifetime can be completely managed in a self-organizing way as regards both survival/extinction and composition with other services.
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (paper in proceedings, 2010)Elena Nardini, Mirko Viroli, Emanuele Panzavolta
This paper show how to empower a tuple space model with semantic techniques by equipping tuple spaces with the ontological description of the coordination domain and by describing tuples as domain individuals described in terms of the ontology. In particular, the paper shows how such a model is very useful to  address distributed and open scenarios. The model was implemented in the coordination infrastructure TuCSoN.
A Computational Framework for Multilevel Morphologies (book chapter, 2012)Sara Montagna, Mirko Viroli
The paper presents a computational model for capturing scenarios of spatial self-organisation. In particular it deals with the spatial pattern of gene expression generated in multicellular organisms during morphogenesis. We believe it can be of interest in the description of a possible model able to reproduce such a complex phenomenon, in the results obtained with the model of a particular organism (Drosophila Melanogaster) and in the considerations proposed for the use of morphogenetic mechanisms in the generation of artificial systems with similar behaviour.
Coordination Models and Languages: From Parallel Computing To Self-Organisation (article in journal, 2011)Andrea Omicini, Mirko Viroli
Here we discuss the potential of coordination models and languages as the sources for the abstractions and the technologies around which complex computational systems -- like intelligent, knowledge-intensive, pervasive, self-organising systems -- can be designed and built.
Description Spaces with Fuzziness (paper in proceedings, 2011)Elena Nardini, Andrea Omicini, Mirko Viroli
The paper shows an extension of semantic tuple spaces with fuzzy techniques in order to also represent vague/fuzzy knowledge so often required by real-world application scenarios.
In particular in this paper it is extended the model of Description Logic tuple spaces with fuzziness in order to support fuzzy semantic coordination.
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (article in journal, 2011)Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
This paper motivates the use of a model of chemical tuple spaces for the coordination of pervasive service ecosystems. A case study of adaptive pervasive displays is used to show patterns of service competition, and of creation of computational fields based on chemical diffusion.