Protelis: Practical Aggregate Programming

被引:89
作者
Pianini, Danilo [1 ]
Viroli, Mirko [1 ]
Beal, Jacob [2 ]
机构
[1] Univ Bologna, Alma Mater Studiorum, I-40126 Bologna, Italy
[2] BBN Technol, Minneapolis, MN USA
来源
30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II | 2015年
关键词
Aggregate Programming; Computational Field; Field Calculus; Alchemist; Coordination;
D O I
10.1145/2695664.2695913
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
The notion of a computational field has been proposed as a unifying abstraction for developing distributed systems, focusing on the computations and coordination of aggregates of devices instead of individual behavior. Prior field-based languages, however, have suffered from a number of practical limitations that have posed barriers to adoption and use. We address these limitations by introduction of Protelis, a functional language based on computational fields and embedded in Java, thereby enabling the construction of widely reusable components of aggregate systems. We demonstrate the simplicity of Protelis integration and programming through two examples: simulation of a pervasive computing scenario in the Alchemist simulator [24], and coordinated management of a network of services.
引用
收藏
页码:1846 / 1853
页数:8
相关论文
共 31 条
[1]  
[Anonymous], 1999, Communicating and mobile systems: the pi calculusM
[2]  
Ashley-Rollman Michael P., 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, P2794, DOI 10.1109/IROS.2007.4399480
[3]  
Bachrach J., 2007, MITCSAILTR2007017
[4]   Infrastructure for engineered emergence on sensor/actuator networks [J].
Beal, J ;
Bachrach, J .
IEEE INTELLIGENT SYSTEMS, 2006, 21 (02) :10-19
[5]  
Beal J., 2014, 7 SPAT COMP WORKSH A
[6]  
Beal J, 2013, FORMAL AND PRACTICAL ASPECTS OF DOMAIN-SPECIFIC LANGUAGES: RECENT DEVELOPMENTS, P436, DOI 10.4018/978-1-4666-2092-6.ch016
[7]  
Beal J, 2008, APPLIED COMPUTING 2008, VOLS 1-3, P1969
[8]  
Butera William, 2002, THESIS
[9]   A set of postulates for the foundation of logic. [J].
Church, A .
ANNALS OF MATHEMATICS, 1932, 33 :346-366
[10]   A Formal Approach to Autonomic Systems Programming: The SCEL Language [J].
De Nicola, Rocco ;
Loreti, Michele ;
Pugliese, Rosario ;
Tiezzi, Francesco .
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2014, 9 (02)