A Higher-Order Calculus of Computational Fields

被引：57
作者：
Audrito, Giorgio [1 ]
Viroli, Mirko [2 ]
Damiani, Ferruccio [1 ]
Pianini, Danilo [2 ]
Beal, Jacob [3 ]
机构：
[1] Univ Turin, Dipartimento Informat, Corso Svizzera 185, I-10149 Turin, Italy
[2] Univ Bologna, Dipartimeno Informat Sci & Ingn, Via Univ 50, I-47522 Cesena, Italy
[3] Raytheon BBN Technol, 10 Moulton St, Cambridge, MA 02138 USA
来源：
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 2019年 / 20卷 / 01期
基金：
欧盟地平线“2020”;
关键词：
Adequacy; aggregate programming; computational field; core calculus; full abstraction; spatial computing; type inference system; type soundness; DESIGN; MODEL;
D O I：
10.1145/3285956
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The complexity of large-scale distributed systems, particularly when deployed in physical space, calls for new mechanisms to address composability and reusability of collective adaptive behaviour. Computational fields have been proposed as an effective abstraction to fill the gap between the macro-level of such systems (specifying a system's collective behaviour) and the micro-level (individual devices' actions of computation and interaction to implement that collective specification), thereby providing a basis to better facilitate the engineering of collective APIs and complex systems at higher levels of abstraction. This article proposes a full formal foundation for field computations, in terms of a core (higher-order) calculus of computational fields containing a few key syntactic constructs, and equipped with typing, denotational and operational semantics. Critically, this allows formal establishment of a link between the micro- and macro-levels of collective adaptive systems by a result of computational adequacy and abstraction for the (aggregate) denotational semantics with respect to the (per-device) operational semantics.
引用
收藏
页数：55
相关论文
共 60 条
[1]  
[Anonymous], 2009, MPI MESS PASS INT ST
[2]  
[Anonymous], 2013, FORMAL METHODS COMPO, DOI DOI 10.1007/978-3-642-35887-6_2
[3]  
Audrito Giorgio, 2018, Coordination Models and Languages. 20th IFIP WG 6.1 International Conference, COORDINATION 2018. Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. Proceedings: LNCS 10852, P1, DOI 10.1007/978-3-319-92408-3_1
[4]   Optimal single-path information propagation in gradient-based algorithms [J].
Audrito, Giorgio ;
Damiani, Ferruccio ;
Viroli, Mirko .
SCIENCE OF COMPUTER PROGRAMMING, 2018, 166 :146-166
[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]   Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed [J].
Audrito, Giorgio ;
Damiani, Ferruccio ;
Viroli, Mirko .
COORDINATION MODELS AND LANGUAGES, COORDINATION 2017, 2017, 10319 :59-77
[7]  
Baeten J. C., 2010, Process algebra: equational theories of communicating processes, P50, DOI DOI 10.1017/CBO9781139195003
[8]   Infrastructure for engineered emergence on sensor/actuator networks [J].
Beal, J ;
Bachrach, J .
IEEE INTELLIGENT SYSTEMS, 2006, 21 (02) :10-19
[9]  
Beal J., 2009, SPAT COMP WORKSH NEW, P206, DOI DOI 10.1109/SASOW.2010.74
[10]   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)
123456