CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems

Jane Hillston; Michele Loreti

doi:10.1007/978-3-319-43425-4_12

CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems

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

Abstract

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 systems specified in CARMA.

Original language	English
Title of host publication	13th International Conference on Quantitative Evaluation of SysTems (QEST 2016)
Place of Publication	Quebec City, Canada
Publisher	Springer
Pages	167-171
Number of pages	5
ISBN (Electronic)	978-3-319-43425-4
ISBN (Print)	978-3-319-43424-7
DOIs	https://doi.org/10.1007/978-3-319-43425-4_12
Publication status	Published - 3 Aug 2016
Event	13th International Conference on Quantitative Evaluation of SysTems - Quebec City, Canada Duration: 23 Aug 2016 → 25 Aug 2016 http://www.qest.org/qest2016/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Cham
Volume	9826
ISSN (Print)	0302-9743

Conference

Conference	13th International Conference on Quantitative Evaluation of SysTems
Abbreviated title	QEST 2016
Country/Territory	Canada
City	Quebec City
Period	23/08/16 → 25/08/16
Internet address	http://www.qest.org/qest2016/

Access to Document

10.1007/978-3-319-43425-4_12

main (2)Accepted author manuscript, 502 KB

https://link.springer.com/chapter/10.1007/978-3-319-43425-4_12

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

Cite this

@inproceedings{ae0e9fc1d15b4e0db370413c86867258,

title = "CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems",

abstract = "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 systems specified in CARMA. ",

author = "Jane Hillston and Michele Loreti",

year = "2016",

month = aug,

day = "3",

doi = "10.1007/978-3-319-43425-4\_12",

language = "English",

isbn = "978-3-319-43424-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "167--171",

booktitle = "13th International Conference on Quantitative Evaluation of SysTems (QEST 2016)",

address = "United Kingdom",

note = "13th International Conference on Quantitative Evaluation of SysTems , QEST 2016 ; Conference date: 23-08-2016 Through 25-08-2016",

url = "http://www.qest.org/qest2016/",

}

Hillston, J & Loreti, M 2016, CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems. in 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016). Lecture Notes in Computer Science, vol. 9826, Springer, Quebec City, Canada, pp. 167-171, 13th International Conference on Quantitative Evaluation of SysTems , Quebec City, Quebec, Canada, 23/08/16. https://doi.org/10.1007/978-3-319-43425-4_12

CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems. / Hillston, Jane; Loreti, Michele.
13th International Conference on Quantitative Evaluation of SysTems (QEST 2016). Quebec City, Canada: Springer, 2016. p. 167-171 (Lecture Notes in Computer Science; Vol. 9826).

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

TY - GEN

T1 - CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems

AU - Hillston, Jane

AU - Loreti, Michele

PY - 2016/8/3

Y1 - 2016/8/3

N2 - 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 systems specified in CARMA.

AB - 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 systems specified in CARMA.

U2 - 10.1007/978-3-319-43425-4_12

DO - 10.1007/978-3-319-43425-4_12

M3 - Conference contribution

SN - 978-3-319-43424-7

T3 - Lecture Notes in Computer Science

SP - 167

EP - 171

BT - 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016)

PB - Springer

CY - Quebec City, Canada

T2 - 13th International Conference on Quantitative Evaluation of SysTems

Y2 - 23 August 2016 through 25 August 2016

ER -

CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

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

Cite this