Istituto di Scienza e Tecnologie dell'Informazione     
Bortolussi L., De Nicola R., Galpin V., Gilmore S., Hillston J., Latella D., Loreti M., Massink M. CARMA: Collective Adaptive Resource-sharing Markovian Agents. In: QAPL 2015 - Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (London, UK, 11-12 April 2015). Proceedings, vol. 194 pp. 16 - 31. Nathalie Bertrand, Mirco Tribastone (eds.). (EPTCS - Electronic Proceedings in Theoretical Computer Science, vol. 194). Electronic Proceedings in Theoretical Computer Science, 2015.
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.
URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2015.2
DOI: 10.4204/EPTCS.194.2
Subject Calculi for Collective Adaptive System Computing
Quantitative Modelling and Analysis of Systems
Stochastic Process Algebras
H.1 Models and Principles
F.4 Mathematical Logic and Formal Languages
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional