Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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
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
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)
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
Hillston, J., Loreti, M.: CARMA Eclipse plug-in: a tool supporting design and analysis of Collective Adaptive Systems (2016, to appear)
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)
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)
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)
Correia, G., Viegas, J.: A conceptual model for carpooling systems simulation. J. Simul. 3, 61–68 (2009)
Acknowledgments
This work is supported by the EU QUANTICOL project, 600708. We thank the anonymous referees for many helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Zoń, N., Gilmore, S., Hillston, J. (2016). Rigorous Graphical Modelling of Movement in Collective Adaptive Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science(), vol 9952. Springer, Cham. https://doi.org/10.1007/978-3-319-47166-2_47
Download citation
DOI: https://doi.org/10.1007/978-3-319-47166-2_47
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47165-5
Online ISBN: 978-3-319-47166-2
eBook Packages: Computer ScienceComputer Science (R0)