SAPERE on APICe » Background

Background from APICe

This page is intended to provide a view of the research work underlying SAPERE afforded by the APICe group.

Background papers from APICe

In the following, a list of related background papers is presented---each paper is provided with a description of its relevance for the SAPERE project.


Matteo Casadei, Mirko Viroli, Luca Gardelli
Science of Computer Programming 74(9), 2009
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.
Mirko Viroli, Matteo Casadei, Andrea Omicini
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009
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.
Mirko Viroli, Franco Zambonelli
Information Sciences 180(10), 2010
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.
Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Self-Organizing Architectures, Lecture Notes in Computer Science 6090, July 2010
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.
Mirko Viroli, Matteo Casadei
25th Annual ACM Symposium on Applied Computing (SAC 2010), 22-26 March 2010
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.
Elena Nardini, Mirko Viroli, Emanuele Panzavolta
25th Annual ACM Symposium on Applied Computing (SAC 2010), 22-26 March 2010
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.
Sara Montagna, Mirko Viroli
Morphogenetic Engineering, Understanding Complex Systems, 2012
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. I 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.
Andrea Omicini, Mirko Viroli
The Knowledge Engineering Review 26(1), March 2011
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.
Elena Nardini, Andrea Omicini, Mirko Viroli
26th Annual ACM Symposium on Applied Computing (SAC 2011), 21-25 March 2011
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.
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.