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: |
| |||||||||
| ORCID: |
| |||||||||
| 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 | |||||||||
| DOI: | 10.1145/3288599.3288642 | |||||||||
| 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: | 16 Nov 2021 03:47 |
Repository Staff Only: item control page
