CaltechAUTHORS
  A Caltech Library Service

Compositional structures for streaming applications

Chandy, K. Mani and Bunn, Julian (2019) Compositional structures for streaming applications. In: Proceedings of the 20th International Conference on Distributed Computing and Networking (ICDCN '19). Association for Computing Machinery (ACM) , New York, NY, pp. 352-361. ISBN 978-1-4503-6094-4. https://resolver.caltech.edu/CaltechAUTHORS:20190109-091547583

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20190109-091547583

Abstract

This paper describes an ongoing project to develop a Python software package, IoTPy, that helps beginning programmers build modular applications that process streams of data collected from sensors, social media and other sources, and to reason about the correctness of their applications in a compositional fashion. IoTPy helps build streaming applications in four ways: (1) enables the construction of non-terminating applications that continuously process endless streams of data by encapsulating terminating programs; (2) supports computation throughout a network of nodes from sensors at the edges of the network to the cloud and back to actuators at the edge; (3) allows users to separate concerns of the logic of an application from the parallel hardware on which the application runs, and (4) supports proofs and testing of the correct behavior of a composition from the specifications of its components.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
https://doi.org/10.1145/3288599.3288642DOIArticle
https://dl.acm.org/citation.cfm?id=3288642PublisherArticle
Additional Information:© 2019 Association for Computing Machinery. IoTPy was, and is, continuing to be developed by several undergraduates at, and undergraduate visitors to, Caltech. Mark Gaspar provides continuing advice.
Subject Keywords:Data streams, modular programming, formal methods, sensors, actuators, concurrency, proofs, temporal logic
Record Number:CaltechAUTHORS:20190109-091547583
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20190109-091547583
Official Citation:K. Mani Chandy, Julian Bunn. 2019. Compositional Structures for Streaming Applications. In Proceedings of International Conference on Distributed Computing and Networking (ICDCN’19). ACM, New York, NY, USA, Article 4, 10 pages. https://doi.org/10.1145/3288599.3288642
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:92157
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:09 Jan 2019 17:33
Last Modified:03 Oct 2019 20:41

Repository Staff Only: item control page