SCAFI-WEB: A Web-Based Application for Field-Based Coordination Programming

被引:8
作者
Aguzzi, Gianluca [1 ]
Casadei, Roberto [1 ]
Maltoni, Niccolo [1 ]
Pianini, Danilo [1 ]
Viroli, Mirko [1 ]
机构
[1] Univ Bologna, Alma Mater Studiorum, Cesena, Italy
来源
COORDINATION MODELS AND LANGUAGES, COORDINATION 2021 | 2021年 / 12717卷
关键词
Field-based coordination; Aggregate Programming; Online Playground;
D O I
10.1007/978-3-030-78142-2_18
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Field-based coordination is a model for expressing the coordination logic of large-scale adaptive systems, composing functional blocks from a global perspective. As for any coordination model, a proper toolchain must be developed to support its adoption across all development phases. Under this point of view, the SCAFI toolkit provides a coordination language (field calculus) as a DSL internal in the Scala language, a library of reusable building blocks, and an infrastructure for simulation of distributed deployments. In this work, we enrich such a toolchain by introducing SCAFI-Web, a web-based application allowing in-browser editing, execution, and visualisation of SCAFI programs. SCAFI-Web facilitates access to the SCAFI coordination technology by flattening the learning curve and simplifying configuration and requirements, thus promoting agile prototyping of field-based coordination specifications. In turn, this opens the door to easier demonstrations and experimentation, and also constitutes a stepping stone towards monitoring and control of simulated/deployed systems.
引用
收藏
页码:285 / 299
页数:15
相关论文
共 36 条
[1]  
Arbab F., 2006, Obj. Logiciel Base donnees Reseaux, V1, P33, DOI [10.3166/objet.12.1.33-76, DOI 10.3166/OBJET.12.1.33-76]
[2]   Adaptive distributed monitors of spatial properties for cyber-physical systems [J].
Audrito, Giorgio ;
Casadei, Roberto ;
Damiani, Ferruccio ;
Stolz, Volker ;
Viroli, Mirko .
JOURNAL OF SYSTEMS AND SOFTWARE, 2021, 175
[3]   FCPP: an efficient and extensible Field Calculus framework [J].
Audrito, Giorgio .
2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS (ACSOS 2020), 2020, :153-159
[4]   A Higher-Order Calculus of Computational Fields [J].
Audrito, Giorgio ;
Viroli, Mirko ;
Damiani, Ferruccio ;
Pianini, Danilo ;
Beal, Jacob .
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2019, 20 (01)
[5]   Compositional Blocks for Optimal Self-Healing Gradients [J].
Audrito, Giorgio ;
Casadei, Roberto ;
Damiani, Ferruccio ;
Viroli, Mirko .
2017 IEEE 11TH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS (SASO), 2017, :91-100
[6]   Composable continuous-space programs for robotic swarms [J].
Bachrach, Jonathan ;
Beal, Jacob ;
McLurkin, James .
NEURAL COMPUTING & APPLICATIONS, 2010, 19 (06) :825-847
[7]   Infrastructure for engineered emergence on sensor/actuator networks [J].
Beal, J ;
Bachrach, J .
IEEE INTELLIGENT SYSTEMS, 2006, 21 (02) :10-19
[8]   Self-Adaptation to Device Distribution in the Internet of Things [J].
Beal, Jacob ;
Viroli, Mirko ;
Pianini, Danilo ;
Damiani, Ferruccio .
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2017, 12 (03)
[9]   Aggregate Programming for the Internet of Things [J].
Beal, Jacob ;
Pianini, Danilo ;
Viroli, Mirko .
COMPUTER, 2015, 48 (09) :22-30
[10]  
Bures T., 2013, P CBSE 2013 VANC CAN, P81, DOI [10.1145/2465449.2465462, DOI 10.1145/2465449.2465462]