Compositional Models for the Internet of Things

DS 122: Proceedings of the Design Society: 24th International Conference on Engineering Design (ICED23)

Year: 2023
Editor: Kevin Otto, Boris Eisenbart, Claudia Eckert, Benoit Eynard, Dieter Krause, Josef Oehmen, Nad
Author: Briener, Spencer (1); Jung, Jooik (1); Subrahmanian, Eswaran (2,1); Sriram, Ram (1)
Series: ICED
Institution: 1: National Insititute of Standards and Technology; 2: Carnegie Mellon University
Section: Design Methods
Page(s): 1037-1046
DOI number:


The modularity of components has enhanced the ability to create IoT systems by composing them from off the shelf. However, the breadth of technological choices and capabilities of component devices has made designing these systems harder to select, compose, implement and test, especially for dynamic systems. In this paper, we adopt formal tools from category theory (CT), a branch of mathematics whose central tenet is compositionality, to generate models for IoT systems. More specifically, we introduce a port-graph operad to represent the architectural designs of IoT systems. We use presheaf categories to construct generic IoT schemas to support modularity. Given this information, we briefly describe its relationship to control strategies of dynamical systems that model the interaction of components. Our approach balances genericity and specificity, providing interlinked schematic representations of system architecture and component representation.

Keywords: Internet of Things, Systems Engineering (SE), Design methods, Product modelling / models

Please sign in to your account

This site uses cookies and other tracking technologies to assist with navigation and your ability to provide feedback, analyse your use of our products and services, assist with our promotional and marketing efforts, and provide content from third parties. Privacy Policy.