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 条
  • [41] Self-Adaptation in Collective Adaptive Systems
    Phan Cong Vinh
    MOBILE NETWORKS & APPLICATIONS, 2014, 19 (05): : 626 - 633
  • [42] INTRODUCTION TO THE SPECIAL ISSUE ON COLLECTIVE ADAPTIVE SYSTEMS
    Cabri, Giacomo
    Hart, Emma
    SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2015, 16 (03): : III - III
  • [43] The SOTA approach to engineering collective adaptive systems
    Abeywickrama, Dhaminda B.
    Bicocchi, Nicola
    Mamei, Marco
    Zambonelli, Franco
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (04) : 399 - 415
  • [44] Self-Adaptation in Collective Adaptive Systems
    Phan Cong Vinh
    Mobile Networks and Applications, 2014, 19 : 626 - 633
  • [45] The SOTA approach to engineering collective adaptive systems
    Dhaminda B. Abeywickrama
    Nicola Bicocchi
    Marco Mamei
    Franco Zambonelli
    International Journal on Software Tools for Technology Transfer, 2020, 22 : 399 - 415
  • [46] Heterogeneous modelling tools for integrated production systems
    Kiefer, F
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2000, 38 (17) : 4149 - 4157
  • [47] METHODS AND TOOLS FOR MODELLING REASONING IN DIAGNOSTIC SYSTEMS
    Eremeev, Alexander P.
    Vagin, Vadim N.
    ICEIS 2009 : PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL AIDSS, 2009, : 271 - 276
  • [48] Systems modelling tools to support policy and planning
    Atkinson, Jo-An
    Page, Andrew
    Prodan, Ante
    McDonnell, Geoff
    Osgood, Nathaniel
    LANCET, 2018, 391 (10126): : 1158 - 1159
  • [49] Tools for modelling single-screw systems
    Potente, Helmut
    Heim, Hans-Peter
    Thümen, Thorsten
    Pape, Jens
    Kunststoffe International, 2006, 96 (07): : 87 - 89
  • [50] Generalized Nets as Tools for Modelling of Intelligent Systems
    Atanassov, K.
    Hadjiski, M.
    2008 4TH INTERNATIONAL IEEE CONFERENCE INTELLIGENT SYSTEMS, VOLS 1 AND 2, 2008, : 43 - +
12345