期刊
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
卷 20, 期 1, 页码 -出版社
ASSOC COMPUTING MACHINERY
DOI: 10.1145/3285956
关键词
Adequacy; aggregate programming; computational field; core calculus; full abstraction; spatial computing; type inference system; type soundness
资金
- project HyVar (European Union's Horizon 2020 research and innovation programme) [644298]
- ICT COST Action [IC1402 ARVI]
- Ateneo/CSP project RunVar
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据