CARMA: Collective Adaptive Resource-sharing Markovian Agents
@inproceedings{Bortolussi2015CARMACA, title={CARMA: Collective Adaptive Resource-sharing Markovian Agents}, author={Luca Bortolussi and Rocco De Nicola and Vashti Galpin and Stephen Gilmore and Jane Hillston and Diego Latella and Michele Loreti and Mieke Massink}, booktitle={QAPL}, year={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…
44 Citations
Specification and Analysis of Open-Ended Systems with CARMA
- Computer ScienceE4MAS
- 2014
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.
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools
- Computer ScienceSFM
- 2016
Carma is equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in open-ended and unpredictable environments and can be used to support specification with a simple but illustrative example of a socio-technical collective adaptive system.
Statistical analysis of CARMA models: an advanced tutorial
- Computer Science
- 2018
This advanced tutorial will introduce some of the theory behind CARMA and MultiVeStA as well as demonstrate its application to collective adaptive system modeling.
STATISTICAL ANALYSIS OF Carma MODELS: AN ADVANCED TUTORIAL
- Computer Science2018 Winter Simulation Conference (WSC)
- 2018
This advanced tutorial will introduce some of the theory behind Carma and MultiVeStA as well as demonstrate its application to collective adaptive system modeling.
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems
- Computer ScienceQEST
- 2016
The Carma Eclipse plug-in, a toolset integrated in Eclipse, developed to support the design and analysis of CAS, a class of systems typically composed of a huge number of interacting agents that dynamically adjust and combine their behaviour to achieve specific goals.
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication
- Computer ScienceSci. Comput. Program.
- 2020
Stochastic modelling of spatial collective adaptive systems
- Computer Science
- 2019
The modelling of CAS in which space (topology and distances) plays a significant role is explored, working with CARMA (Collective Adaptive Resource-sharing Markovian Agents) a formal feature-rich language for modelling stochastic CAS, and a novel graphical software tool for graphically specifying spatial CAS systems with the feature of automatic translation into CARMA models is introduced.
Process algebra for located Markovian agents and scalable analysis techniques for the modelling of Collective Adaptive Systems
- Computer Science
- 2017
A process algebraic modelling formalism is developed that can be used to express complex dynamic behaviour of CAS and provide fast and scalable analysis techniques to investigate the dynamic behaviour and support the design and operational management of such systems.
Programming of CAS Systems by Relying on Attribute-Based Communication
- Computer ScienceISoLA
- 2016
Open image in new window is presented, a Java run-time environment that has been developed to support modeling and programming of collective adaptive systems by relying on the communication primitives of the AbC calculus.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
- Computer ScienceLecture Notes in Computer Science
- 2016
This tutorial describes a framework called Soft Agents, formalized in the Maude rewriting logic system, which supports experimenting with, formally testing, and reasoning about specifications of agent.
References
SHOWING 1-10 OF 17 REFERENCES
A calculus for attribute-based communication
- Computer ScienceSAC
- 2015
A basic process calculus, named AbC, is introduced that has as primitive construct exactly attribute-based communication and its impact on the kind of systems is considered.
PALOMA: A Process Algebra for Located Markovian Agents
- Computer ScienceQEST
- 2014
We present a novel stochastic process algebra that allows the expression of models representing systems comprised of populations of agents distributed over space, where the relative positions of…
Stochastically timed predicate-based communication primitives for autonomic computing
- Computer ScienceQAPL
- 2014
This work presents a stochastically timed extension of the Software Component Ensemble Language (SCEL), and provides formal semantics and an illustration of the use of the language modeling a variant of a bike sharing system, together with some preliminary analysis of the system performance.
A Formal Approach to Autonomic Systems Programming: The SCEL Language
- Computer ScienceTAAS
- 2014
A set of programming abstractions that permit us to represent behaviors, knowledge, and aggregations according to specific policies and to support programming context-awareness, self- awareness, and adaptation are proposed.
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
- Computer ScienceIEEE Transactions on Software Engineering
- 2006
MODEST (modeling and description language for stochastic timed systems), a formalism intended to support the modular description of reactive systems' behavior while covering both functional and nonfunctional system aspects such as timing and quality-of-service constraints in a single specification is presented.
A uniform definition of stochastic process calculi
- Computer ScienceCSUR
- 2013
A unifying framework is introduced to provide the semantics of process algebras, including their quantitative variants useful for modeling quantitative aspects of behaviors, and a number of processAlgebrAs that permit parallel composition of models according to the two main interaction paradigms (multiparty and one-to-one synchronization).
Syntax , Semantics , Equivalences , and Axioms for MTIPP y
- Computer Science
- 1994
This report presents the language together with its operational semantics, that defines Markovian labelled transition systems as a combination of classical action-oriented transition systems andMarkovian processes, especially continuous time Markov chains, and presents equational laws for the central notion of equivalence.
Stochastic Calculus
- Mathematics
- 2007
The following notes aim to provide a very informal introduction to Stochastic Calculus, and especially to the Itô integral and some of its applications. They owe a great deal to Dan Crisan's…