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.

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

Use this Persistent URL to link to this item:


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
Bunn, Julian0000-0002-3798-298X
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:
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.
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:92157
Deposited By: Tony Diaz
Deposited On:09 Jan 2019 17:33
Last Modified:16 Nov 2021 03:47

Repository Staff Only: item control page