Edinburgh Research Explorer

Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007%2F978-3-319-34096-8_4
Original languageEnglish
Title of host publicationFormal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Subtitle of host publication16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
EditorsMarco Bernardo, Rocco De Nicola, Jane Hillston
PublisherSpringer Berlin Heidelberg
Pages83-119
Number of pages37
ISBN (Electronic)978-3-319-34096-8
ISBN (Print)978-3-319-34095-1
DOIs
Publication statusPublished - 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
Volume9700
ISSN (Print)0302-9743

Abstract

Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous task-oriented systems that cooperate on common goals forming a collective system. This class of systems is typically composed of a huge number of interacting agents that dynamically adjust and combine their behaviour to achieve specific goals. This chapter presents CARMA, a language recently defined to support specification and analysis of collective adaptive systems, and its tools developed for supporting system design and analysis. CARMA is equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in open-ended and unpredictable environments. The chapter also presents the CARMA Eclipse plug-in that allows CARMA models to be specified by means of an appropriate high-level language. Finally, we show how CARMA and its tools can be used to support specification with a simple but illustrative example of a socio-technical collective adaptive system.

Download statistics

No data available

ID: 24759357