Modelling, Specification, and Programming for Collective Adaptive Systems

Hella Seebach, Lenz Belzner, Marco Gribaudo, Anabelle Klarl, Michele Loreti, Ugo Montanari, Laura Nenzi, Rocco De Nicola, Christophe Scholliers, Petr Tuma, and Martin Wirsing

Over the last decades we have witnessed a steep growth in the world population. This increase has a vast impact in the large scale on how cities operate. For example, how to route traffic in the city and where to place parking spots in such a way that the individuals commuting time is minimized. On a smaller scale, big events such as festivals have to be able to predict how the crowd will react in case of a major incident. It is needless to say that each of the individuals at a festival are autonomous entities, yet it is surprising to see that certain patterns can be observed from the group as a whole. Systems consisting out of a large number of individuals exhibiting group behaviour are called collective adaptive systems (CAS). While the collective adaptive systems described above consist solely out of humans the idea is that these systems can consist both out of human entities and/or ICT components. While our understanding of CAS is getting better over time, the field is not widely understood by the big audience. CAS are omnipresent in current society and it is thus essential to be able to provide the correct set of abstraction in order to model, verify and implement them.
published 07.04.2015 in: Dagstuhl, Germany Dagstuhl Reports: Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512), Volume 4, Number 12, Year 2015

Publisher: Schloss Dagstuhl-Leibniz-Zentrum für Informatik

Reference: The publication is a working group report of the dagstuhl seminar 14521 and accordingly part of the dagstuhl report 5006

BibTex of the whole Dagstuhl-Report 5006

For questions regarding the publication, please contact!