Rigorous Graphical Modelling of Movement in Collective Adaptive Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publicationFoundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10--14, 2016, Proceedings, Part I
EditorsTiziana Margaria, Bernhard Steffen
Place of PublicationCham
PublisherSpringer International Publishing
Pages674-688
Number of pages15
ISBN (Electronic)978-3-319-47166-2
ISBN (Print)978-3-319-47165-5
DOIs
Publication statusPublished - 5 Oct 2016
EventISoLA 2016 - Corfu, Greece
Duration: 5 Oct 201614 Oct 2016
http://www.isola-conference.org/isola2016/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Cham
Volume9952
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceISoLA 2016
Abbreviated titleISoLA 2016
Country/TerritoryGreece
CityCorfu
Period5/10/1614/10/16
Internet address

Fingerprint

Dive into the research topics of 'Rigorous Graphical Modelling of Movement in Collective Adaptive Systems'. Together they form a unique fingerprint.

Cite this