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… 

Figures and Tables from this paper

Specification and Analysis of Open-Ended Systems with CARMA
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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.
Stochastic modelling of spatial collective adaptive systems
TLDR
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
TLDR
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
TLDR
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
  • M. Bernardo
  • Computer Science
    Lecture Notes in Computer Science
  • 2016
TLDR
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.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 17 REFERENCES
A calculus for attribute-based communication
TLDR
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
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
TLDR
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.
Process algebra for performance evaluation
A Formal Approach to Autonomic Systems Programming: The SCEL Language
TLDR
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
TLDR
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
TLDR
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
TLDR
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.
Hybrid dynamics of stochastic programs
Stochastic Calculus
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
...
1
2
...