Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis

Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli, Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli, Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli (+1 others)
Dagstuhl Reports   unpublished
This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis". Besides presentations on current work in the area, the seminar focused on the following topics: (i) Modelling techniques and languages for collective adaptive systems based on the above formalisms. (ii) Verification of collective adaptive systems. (iii) Humans-in-the-loop in collective adaptive systems. License Creative Commons BY 3.0
more » ... ve Commons BY 3.0 Unported license © Jane Hillston, Jeremy Pitt, Martin Wirsing, and Franco Zambonelli Modern systems are often structured as complex, multi-layered networks of interconnected parts, where different layers interact and influence each other in intricate and sometimes unforeseen ways. It is infeasible for human operators to constantly monitor these interactions and to adjust the system to cope with unexpected circumstances; instead systems have to adapt autonomously to dynamically changing situations while still respecting their design constraints and requirements. Because of the distributed and decentralized nature of modern systems, this usually has to be achieved by collective adaptation of the nodes comprising the system. In open systems exhibiting collective adaptation, unforeseen events and properties can arise, e.g. as side effects of the interaction of the components or the environment. Modelling and engineering collective adaptive systems (CAS) has to take into account such "emergent" properties in addition to satisfying functional and quantitative requirements. Except where otherwise noted, content of this report is licensed under a Creative Commons BY 3.0 Unported license Collective
fatcat:lrc53fp34rcffjivymql54guua