CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems

  • Jane Hillston
  • Michele LoretiEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9826)


Collective Adaptive Systems (CAS) are heterogeneous populations of autonomous task-oriented agents 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. Existing tools and languages are typically not able to describe the complex interactions that underpin such systems, which operate in a highly dynamic environment. For this reason, recently, new formalisms have been proposed to model CAS. One such is Carma, a process specification language that is equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in open-ended and unpredictable environments. In this paper we present the Carma Eclipse plug-in, a toolset integrated in Eclipse, developed to support the design and analysis of CAS.


Collective Adaptive Systems (CAS) Design Support Tools Process Specification Language Apache Commons Math Library Stochastic Process Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Abd Alrahman, Y., De Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.: A calculus for attribute-based communication. In: Proceedings of 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, pp. 1840–1845, 13–17 April 2015Google Scholar
  2. 2.
    Bernardo, M., Gorrieri, R.: A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoret. Comput. Sci. 202(1–2), 1–54 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Bohnenkamp, H.C., D’Argenio, P.R., Hermanns, H., Katoen, J.-P.: MODEST: a compositional modeling formalism for hard and softly timed systems. IEEE Trans. Softw. Eng. 32(10), 812–830 (2006)CrossRefGoogle Scholar
  4. 4.
    Bortolussi, L., De Nicola, R., Galpin, V., Gilmore, S., Hillston, J., Latella, D., Loreti, M., Massink, M.: CARMA: collective adaptive resource-sharing Markovian agents. In: Proceedings of Workshop on Quantitative Analysis of Programming Languages (2015)Google Scholar
  5. 5.
    De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. TAAS 9(2), 7 (2014)CrossRefGoogle Scholar
  6. 6.
    Feng, C., Hillston, J.: PALOMA: a process algebra for located Markovian agents. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 265–280. Springer, Heidelberg (2014)Google Scholar
  7. 7.
    Hermanns, H., Rettelbach, M.: Syntax, semantics, equivalences and axioms for MTIPP. In: Herzog, U., Rettelbach, M. (eds.) Proceedings of 2nd Process Algebra and Performance Modelling Workshop (1994)Google Scholar
  8. 8.
    Hillston, J.: A Compositional Approach to Performance Modelling. CUP, Cambridge (1995)zbMATHGoogle Scholar
  9. 9.
    John, M., Lhoussaine, C., Niehren, J., Uhrmacher, A.M.: The attributed Pi calculus. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 83–102. Springer, Heidelberg (2008)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Laboratory for Foundations of Computer ScienceUniversity of EdinburghEdinburghUK
  2. 2.Dipartimento di Statistica, Informatica, Applicazioni “G. Parenti”Università di FirenzeFirenzeItaly

Personalised recommendations