CARMA: Collective Adaptive Resource-sharing Markovian Agents

@inproceedings{Bortolussi2015CARMACA,
  title={CARMA: Collective Adaptive Resource-sharing Markovian Agents},
  author={L. Bortolussi and R. Nicola and V. Galpin and S. Gilmore and J. Hillston and D. Latella and M. Loreti and M. Massink},
  booktitle={QAPL},
  year={2015}
}
  • L. Bortolussi, R. Nicola, +5 authors M. Massink
  • Published in QAPL 2015
  • Computer Science
  • 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… CONTINUE READING
    38 Citations
    Specification and Analysis of Open-Ended Systems with CARMA
    • 11
    • PDF
    Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools
    • 48
    • PDF
    STATISTICAL ANALYSIS OF Carma MODELS: AN ADVANCED TUTORIAL
    • 1
    • PDF
    CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems
    • 10
    • PDF
    Stochastic modelling of spatial collective adaptive systems
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    • M. Bernardo
    • Computer Science
    • Lecture Notes in Computer Science
    • 2016
    • 8
    • Highly Influenced

    References

    SHOWING 1-10 OF 16 REFERENCES
    A calculus for attribute-based communication
    • 38
    PALOMA: A Process Algebra for Located Markovian Agents
    • 68
    • PDF
    Process algebra for performance evaluation
    • 264
    • PDF
    A Formal Approach to Autonomic Systems Programming: The SCEL Language
    • 132
    • PDF
    MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
    • 143
    • PDF
    A uniform definition of stochastic process calculi
    • 52
    • PDF
    Hybrid dynamics of stochastic programs
    • 40
    Stochastic Calculus
    • 171
    • PDF