Logo eprints

CARMA: Collective Adaptive Resource-sharing Markovian Agents

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)

Full text not available from this repository.


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.

Item Type: Working Paper (Working Paper)
Identification Number: arXiv:1509.08560
Additional Information: SCOPUS ID: 2-s2.0-84958068481
Projects: EU project QUANTICOL, 600708
Subjects: Q Science > QA Mathematics > QA76 Computer software
Research Area: Computer Science and Applications
Depositing User: Caterina Tangheroni
Date Deposited: 06 Oct 2016 09:36
Last Modified: 06 Oct 2016 09:36
URI: http://eprints.imtlucca.it/id/eprint/3564

Actions (login required)

Edit Item Edit Item