Sibilla: A tool for reasoning about collective systems

被引：0
|
作者：
Del Giudice, Nicola [1 ]
Matteucci, Lorenzo [1 ]
Quadrini, Michela [1 ]
Rehman, Aniqa [1 ]
Loreti, Michele [1 ]
机构：
[1] Univ Camerino, Via Madonna Carceri 9, I-62032 Camerino, Italy
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2024年 / 235卷
关键词：
Collective systems; Specification languages; Property specification; Verification; MODEL-CHECKING; BIO-PEPA; EXTENSION; CALCULUS;
D O I：
10.1016/j.scico.2024.103095
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Formal approaches and tools have been defined, implemented and successfully applied to support the design and development of Collective Adaptive Systems. These tools are highly specialised in their fields, and their integration requires an effort. In this paper, we introduce Sibilla, a Java modular tool that facilitates the integration of multiple specification languages for supporting quantitative analysis of systems. After a description of the general architecture of Sibilla, the main features of the tool are discussed via simple examples.
引用
收藏
页数：11
相关论文
共 50 条
  • [1] Sibilla: A Tool for Reasoning about Collective Systems
    Del Giudice, Nicola
    Matteucci, Lorenzo
    Quadrini, Michela
    Rehman, Aniqa
    Loreti, Michele
    [J]. COORDINATION MODELS AND LANGUAGES, 2022, 13271 : 92 - 98
  • [2] Visualisation of Collective Systems with Sequit and Sibilla
    Del Giudice, Nicola
    Cruciani, Federico Maria
    Loreti, Michele
    [J]. COORDINATION MODELS AND LANGUAGES, COORDINATION 2024, 2024, 14676 : 277 - 294
  • [3] Reasoning about collective goals
    Sandu, Gabriel
    [J]. Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 1996, 1193
  • [4] A Logical Framework for Reasoning About Local and Global Properties of Collective Systems
    Michele, Loreti
    Rehman, Aniqa
    [J]. QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2022), 2022, 13479 : 133 - 149
  • [5] Dominance diagrams: A tool for qualitative reasoning about continuous systems
    Galton, A
    [J]. FUNDAMENTA INFORMATICAE, 2001, 46 (1-2) : 55 - 70
  • [6] Reasoning about emergence of collective memory
    Institute of Mathematical Sciences, Homi Bhabha National Institute, Chennai, India
    [J]. Electron. Proc. Theor. Comput. Sci., EPTCS, (269-280):
  • [7] Reasoning about Emergence of Collective Memory
    Ramanujam, R.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (335): : 269 - 280
  • [8] Reasoning about Emergence of Collective Memory
    Ramanujam, R.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, 335 : 269 - 280
  • [9] Reasoning about quantum systems
    Mateus, P
    Sernadas, A
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 239 - 251
  • [10] REASONING ABOUT CONTINUOUS SYSTEMS
    CHANDY, KM
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1990, 14 (2-3) : 117 - 132
12345