CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems

Jane Hillston, Michele Loreti

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

Abstract / Description of output

Collective Adaptive Systems (CAS) are heterogeneous populations of autonomous task-oriented agents 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. Existing tools and languages are typically not able to describe the complex interactions that underpin such systems, which operate in a highly dynamic environment. For this reason, recently, new formalisms have been proposed to model CAS. One such is CARMA, a process specification language that is equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in open-ended and unpredictable environments. In this paper we present the CARMA Eclipse plug-in, a toolset integrated in Eclipse, developed to support the design and analysis of systems specified in CARMA.
Original languageEnglish
Title of host publication13th International Conference on Quantitative Evaluation of SysTems (QEST 2016)
Place of PublicationQuebec City, Canada
PublisherSpringer, Cham
Pages167-171
Number of pages5
ISBN (Electronic)978-3-319-43425-4
ISBN (Print)978-3-319-43424-7
DOIs
Publication statusPublished - 3 Aug 2016
Event13th International Conference on Quantitative Evaluation of SysTems - Quebec City, Canada
Duration: 23 Aug 201625 Aug 2016
http://www.qest.org/qest2016/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Cham
Volume9826
ISSN (Print)0302-9743

Conference

Conference13th International Conference on Quantitative Evaluation of SysTems
Abbreviated titleQEST 2016
Country/TerritoryCanada
CityQuebec City
Period23/08/1625/08/16
Internet address

Fingerprint

Dive into the research topics of 'CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems'. Together they form a unique fingerprint.

Cite this