Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools

@inproceedings{Loreti2016ModellingAA,
  title={Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools},
  author={Michele Loreti and Jane Hillston},
  booktitle={SFM},
  year={2016}
}
Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous task-oriented systems that cooperate on common goals forming a collective system. 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. This chapter presents Carma, a language recently defined to support specification and analysis of collective adaptive systems, and its tools developed for supporting system… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS
16 Citations
29 References
Similar Papers

Similar Papers

Loading similar papers…