Modelling movement for collective adaptive systems with CARMA

Natalia Zon; Vashti Galpin; Stephen Gilmore

doi:10.4204/EPTCS.217.6

Modelling movement for collective adaptive systems with CARMA

Natalia Zon, Vashti Galpin, Stephen Gilmore

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

Space and movement through space play an important role in many collective adaptive systems (CAS). CAS consist of multiple components interacting to achieve some goal in a system or environment that can change over time. When these components operate in space, then their behaviour can be affected by where they are located in that space. Examples include the possibility of communication between two components located at different points, and rates of movement of a component that may be affected by location. The CARMA language and its associated software tools can be used to model such systems. In particular, a graphical editor for CARMA allows for the specification of spatial structure and generation of templates that can be used in a CARMA model with space. We demonstrate the use of this tool to experiment with a model of pedestrian movement over a network of paths.

Original language	English
Title of host publication	Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016)
Publisher	Open Publishing Association
Pages	43-52
Number of pages	10
DOIs	https://doi.org/10.4204/EPTCS.217.6
Publication status	Published - 7 Jul 2016
Event	Formal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop - Vienna, Austria Duration: 4 Jul 2018 → 8 Jul 2018 http://staf2016.conf.tuwien.ac.at/proceedings/

Publication series

Name	Electronic Proceedings in Theoretical Computer Science
Publisher	Open Publishing Association
Volume	217
ISSN (Print)	2075-2180

Conference

Conference	Formal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop
Abbreviated title	STAF 2016
Country/Territory	Austria
City	Vienna
Period	4/07/18 → 8/07/18
Internet address	http://staf2016.conf.tuwien.ac.at/proceedings/

Access to Document

10.4204/EPTCS.217.6

forecast2016Accepted author manuscript, 372 KB

http://eptcs.web.cse.unsw.edu.au/paper.cgi?FORECAST2016.6

QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
Hillston, J. & Gilmore, S.
EU government bodies
1/04/13 → 31/03/17
Project: Research

Cite this

Zon, N., Galpin, V., & Gilmore, S. (2016). Modelling movement for collective adaptive systems with CARMA. In Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016) (pp. 43-52). (Electronic Proceedings in Theoretical Computer Science; Vol. 217). Open Publishing Association. https://doi.org/10.4204/EPTCS.217.6

@inproceedings{3d6e854aa39b48c683e712e39f4f6f2d,

title = "Modelling movement for collective adaptive systems with CARMA",

abstract = "Space and movement through space play an important role in many collective adaptive systems (CAS). CAS consist of multiple components interacting to achieve some goal in a system or environment that can change over time. When these components operate in space, then their behaviour can be affected by where they are located in that space. Examples include the possibility of communication between two components located at different points, and rates of movement of a component that may be affected by location. The CARMA language and its associated software tools can be used to model such systems. In particular, a graphical editor for CARMA allows for the specification of spatial structure and generation of templates that can be used in a CARMA model with space. We demonstrate the use of this tool to experiment with a model of pedestrian movement over a network of paths.",

author = "Natalia Zon and Vashti Galpin and Stephen Gilmore",

year = "2016",

month = jul,

day = "7",

doi = "10.4204/EPTCS.217.6",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "43--52",

booktitle = "Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016)",

address = "Australia",

note = "Formal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop, STAF 2016 ; Conference date: 04-07-2018 Through 08-07-2018",

url = "http://staf2016.conf.tuwien.ac.at/proceedings/",

}

Zon, N, Galpin, V & Gilmore, S 2016, Modelling movement for collective adaptive systems with CARMA. in Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016). Electronic Proceedings in Theoretical Computer Science, vol. 217, Open Publishing Association, pp. 43-52, Formal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop, Vienna, Austria, 4/07/18. https://doi.org/10.4204/EPTCS.217.6

Modelling movement for collective adaptive systems with CARMA. / Zon, Natalia; Galpin, Vashti ; Gilmore, Stephen.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016). Open Publishing Association, 2016. p. 43-52 (Electronic Proceedings in Theoretical Computer Science; Vol. 217).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Modelling movement for collective adaptive systems with CARMA

AU - Zon, Natalia

AU - Galpin, Vashti

AU - Gilmore, Stephen

PY - 2016/7/7

Y1 - 2016/7/7

N2 - Space and movement through space play an important role in many collective adaptive systems (CAS). CAS consist of multiple components interacting to achieve some goal in a system or environment that can change over time. When these components operate in space, then their behaviour can be affected by where they are located in that space. Examples include the possibility of communication between two components located at different points, and rates of movement of a component that may be affected by location. The CARMA language and its associated software tools can be used to model such systems. In particular, a graphical editor for CARMA allows for the specification of spatial structure and generation of templates that can be used in a CARMA model with space. We demonstrate the use of this tool to experiment with a model of pedestrian movement over a network of paths.

AB - Space and movement through space play an important role in many collective adaptive systems (CAS). CAS consist of multiple components interacting to achieve some goal in a system or environment that can change over time. When these components operate in space, then their behaviour can be affected by where they are located in that space. Examples include the possibility of communication between two components located at different points, and rates of movement of a component that may be affected by location. The CARMA language and its associated software tools can be used to model such systems. In particular, a graphical editor for CARMA allows for the specification of spatial structure and generation of templates that can be used in a CARMA model with space. We demonstrate the use of this tool to experiment with a model of pedestrian movement over a network of paths.

U2 - 10.4204/EPTCS.217.6

DO - 10.4204/EPTCS.217.6

M3 - Conference contribution

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 43

EP - 52

BT - Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016)

PB - Open Publishing Association

T2 - Formal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop

Y2 - 4 July 2018 through 8 July 2018

ER -

Modelling movement for collective adaptive systems with CARMA

Abstract / Description of output

Publication series

Conference

Access to Document

Fingerprint

Projects

QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)

Cite this