Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools

被引：41
|
作者：
Loreti, Michele [1 ]
Hillston, Jane [2 ]
机构：
[1] Applicaz G Parenti Univ Firenze, Dipartimento Stat Informat, Florence, Italy
[2] Univ Edinburgh, Lab Fdn Comp Sci, Edinburgh, Midlothian, Scotland
来源：
FORMAL METHODS FOR THE QUANTITATIVE EVALUATION OF COLLECTIVE ADAPTIVE SYSTEMS, SFM 2016 | 2016年 / 9700卷
关键词：
PROCESS ALGEBRA; FORMAL MODEL;
D O I：
10.1007/978-3-319-34096-8_4
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous task-oriented systems 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. This chapter presents CARMA, a language recently defined to support specification and analysis of collective adaptive systems, and its tools developed for supporting system design and analysis. CARMA is equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in open-ended and unpredictable environments. The chapter also presents the CARMA Eclipse plug-in that allows CARMA models to be specified by means of an appropriate high-level language. Finally, we show how CARMA and its tools can be used to support specification with a simple but illustrative example of a socio-technical collective adaptive system.
引用
收藏
页码：83 / 119
页数：37
相关论文
共 50 条
  • [1] Modelling movement for collective adaptive systems with CARMA
    Zon, Natalia
    Galpin, Vashti
    Gilmore, Stephen
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (217): : 43 - 52
  • [2] CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems
    Hillston, Jane
    Loreti, Michele
    QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2016, 2016, 9826 : 167 - 171
  • [3] Mesoscopic Modelling of Pedestrian Movement Using CARMA and Its Tools
    Galpin, Vashti
    Zon, Natalia
    Wilsdorf, Pia
    Gilmore, Stephen
    ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (02):
  • [4] Rigorous Graphical Modelling of Movement in Collective Adaptive Systems
    Zon, N.
    Gilmore, S.
    Hillston, J.
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 674 - 688
  • [5] CARMA: Collective Adaptive Resource-sharing Markovian Agents
    Bortolussi, Luca
    De Nicola, Rocco
    Galpin, Vashti
    Gilmore, Stephen
    Hillston, Jane
    Latella, Diego
    Loreti, Michele
    Massink, Mieke
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (194): : 16 - 31
  • [6] Quantitative Analysis of Collective Adaptive Systems
    Hillston, Jane
    PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2015, 2016, 9609 : 1 - 5
  • [7] Replicated Computations Results (RCR) Report for "Mesoscopic Modelling of Pedestrian Movement using CARMA and its Tools"
    Loreti, Michele
    ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (02):
  • [8] A calculus for collective-adaptive systems and its behavioural theory
    Abd Alrahman, Yehia
    De Nicola, Rocco
    Loreti, Michele
    INFORMATION AND COMPUTATION, 2019, 268
  • [9] AN ADAPTIVE-CONTROL FOR CARMA SYSTEMS USING LINEAR NEURAL NETWORKS
    WATANABE, K
    FUKUDA, T
    TZAFESTAS, SG
    INTERNATIONAL JOURNAL OF CONTROL, 1992, 56 (02) : 483 - 497
  • [10] Complexity analysis and mathematical tools towards the modelling of living systems
    Bellomo, N.
    Bianca, C.
    Delitala, M.
    PHYSICS OF LIFE REVIEWS, 2009, 6 (03) : 144 - 175
12345