eprintid: 3564
rev_number: 8
eprint_status: archive
userid: 69
dir: disk0/00/00/35/64
datestamp: 2016-10-06 09:36:33
lastmod: 2016-10-06 09:36:33
status_changed: 2016-10-06 09:36:33
type: monograph
metadata_visibility: show
creators_name: Bortolussi, Luca
creators_name: De Nicola, Rocco
creators_name: Galpin, Vashti
creators_name: Gilmore, Stephen
creators_name: Hillstone, Jane
creators_name: Latella, Diego
creators_name: Loreti, Michele
creators_name: Massink, Mieke
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
title: CARMA: Collective Adaptive Resource-sharing Markovian Agents
ispublished: submitted
subjects: QA76
divisions: CSA
full_text_status: none
monograph_type: working_paper
note: SCOPUS ID: 2-s2.0-84958068481
abstract: In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems. CARMA is a stochastic process algebra equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in open-ended and unpredictable environments. 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. A CARMA model, termed a collective, consists of a set of components, each of which exhibits a set of attributes. To model dynamic aggregations, which are sometimes referred to as ensembles, CARMA provides communication primitives that are based on predicates over the exhibited attributes. These predicates are used to select the participants in a communication. Two communication mechanisms are provided in the CARMA language: multicast-based and unicast-based. In this paper, we first introduce the basic principles of CARMA and then we show how our language can be used to support specification with a simple but illustrative example of a socio-technical collective adaptive system.
date: 2015
date_type: published
publisher: arXiv
pages: 16
id_number: arXiv:1509.08560
institution: IMT Institute for Advanced Studies Lucca
official_url: https://arxiv.org/abs/1509.08560
projects: EU project QUANTICOL, 600708
citation:   Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke  CARMA: Collective Adaptive Resource-sharing Markovian Agents.  Working Paper   arXiv       (Submitted)