Rigorous Graphical Modelling of Movement in Collective Adaptive Systems

  • N. ZońEmail author
  • S. Gilmore
  • J. Hillston
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9952)


Formal modelling provides valuable intellectual tools which can be applied to the problem of analysis and optimisation of systems. In this paper we present a novel software tool which provides a graphical approach to modelling of Collective Adaptive Systems (CAS) with constrained movement. The graphical description is translated into a model that can be analysed to understand the dynamic behaviour of the system. This generated model is expressed in CARMA, a modern feature-rich modelling language designed specifically for modelling CAS. We demonstrate the use of the software tool with an example scenario representing carpooling, in which travellers group together and share a car in order to reach a common destination. This can reduce their travel time and travel costs, whilst also ameliorating traffic congestion by reducing the number of vehicles on the road.


Graphical Editor Path Node Automatic Code Generation Unicast Communication Urban Transport System 
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.



This work is supported by the EU QUANTICOL project, 600708. We thank the anonymous referees for many helpful suggestions.


  1. 1.
    Loreti, M., Hillston, J.: Modelling and analysis of collective adaptive systems with CARMA and its tools. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 83–119. Springer, Heidelberg (2016). doi: 10.1007/978-3-319-34096-8_4 CrossRefGoogle Scholar
  2. 2.
    Abd Alrahman, Y., De Nicola, R., Loreti, M.: On the power of attribute-based communication. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 1–18. Springer, Heidelberg (2016). doi: 10.1007/978-3-319-39570-8_1 CrossRefGoogle Scholar
  3. 3.
    De Nicola, R., et al.: The SCEL language: design, implementation, verification. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 3–71. Springer, Heidelberg (2015)Google Scholar
  4. 4.
    Galpin, V.: Modelling ambulance deployment with carma. In: Lluch Lafuente, A., Proença, J. (eds.) COORDINATION 2016. LNCS, vol. 9686, pp. 121–137. Springer, Heidelberg (2016). doi: 10.1007/978-3-319-39519-7_8 CrossRefGoogle Scholar
  5. 5.
    Hillston, J., Loreti, M.: CARMA Eclipse plug-in: a tool supporting design and analysis of Collective Adaptive Systems (2016, to appear)Google Scholar
  6. 6.
    Yang, H., Huang, H.-J.: Carpooling and congestion pricing in a multilane highway with high-occupancy-vehicle lanes. Transp. Res. Part A: Policy Pract. 33(2), 139–155 (1999)Google Scholar
  7. 7.
    Hussain, I., Knapen, L., Galland, S., Yasar, A.-U.-H., Bellemans, T., Janssens, D., Wets, G.: Agent-based simulation model for long-term carpooling: effect of activity planning constraints. Procedia Comput. Sci. 52, 412–419 (2015)CrossRefGoogle Scholar
  8. 8.
    Guo, Y., Goncalves, G., Hsu, T.: A multi-agent based self-adaptive genetic algorithm for the long-term car pooling problem. J. Math. Model. Algorithms Oper. Res. 12(1), 45–66 (2012)MathSciNetzbMATHGoogle Scholar
  9. 9.
    Correia, G., Viegas, J.: A conceptual model for carpooling systems simulation. J. Simul. 3, 61–68 (2009)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.Laboratory for Foundations of Computer Science, School of InformaticsUniversity of EdinburghEdinburghScotland

Personalised recommendations