Edinburgh Research Explorer

Specification and Analysis of Open-Ended Systems with CARMA

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-23850-0_7
Original languageEnglish
Title of host publicationAgent Environments for Multi-Agent Systems IV
Subtitle of host publication4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers
PublisherSpringer International Publishing
Pages95-116
Number of pages22
ISBN (Electronic)978-3-319-23850-0
ISBN (Print)978-3-319-23849-4
DOIs
Publication statusPublished - 27 Nov 2015

Publication series

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

Abstract

Carma is a new language recently defined to support quantified specification and analysis of collective adaptive systems. It 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 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. A key feature of Carma is the explicit representation of the environment in which processes interact, allowing rapid testing of a system under different open world scenarios. The environment in Carma models can evolve at runtime, due to the feedback from the system, and it further modulates the interaction between components, by shaping rates and interaction probabilities.

Download statistics

No data available

ID: 23316382