Hostname: page-component-cd9895bd7-jn8rn Total loading time: 0 Render date: 2024-12-25T01:11:57.198Z Has data issue: false hasContentIssue false
  • English
  • Français

COMPOSITIONAL MODELS FOR THE INTERNET OF THINGS

Published online by Cambridge University Press:  19 June 2023

Spencer Briener ,
Jooik Jung ,
Eswaran Subrahmanian  and
Ram Sriram
Spencer Briener
Affiliation:
National Insititute of Standards and Technology;
Jooik Jung
Affiliation:
National Insititute of Standards and Technology;
Eswaran Subrahmanian*
Affiliation:
National Insititute of Standards and Technology; Carnegie Mellon University
Ram Sriram
Affiliation:
National Insititute of Standards and Technology;
*
Subrahmanian, Eswaran, Carnegie Mellon University, United States of America, es3e@andrew.cmu.edu

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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 ThingsSystems Engineering (SE)Design methodsProduct modelling / models
Type
Article
Information
Proceedings of the Design Society , Volume 3: ICED23 , July 2023 , pp. 1037 - 1046
Creative Commons
Creative Common License - CCCreative Common License - BYCreative Common License - NCCreative Common License - ND
This is an Open Access article, distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives licence (http://creativecommons.org/licenses/by-nc-nd/4.0/), which permits non-commercial re-use, distribution, and reproduction in any medium, provided the original work is unaltered and is properly cited. The written permission of Cambridge University Press must be obtained for commercial re-use or in order to create a derivative work.
Copyright
The Author(s), 2023. Published by Cambridge University Press

References

Bernstein, J. and Lunts, V. (2006), Equivariant sheaves and functors, Springer.Google Scholar
Bradley, T.D. (2018), “What is applied category theory?”, arXivpreprint arXiv:1809.05923.Google Scholar
Breiner, S., Pollard, B. and Subrahmanian, E. (2019), Workshop on Applied Category Theory: Bridging Theory and Practice, Special Publication 1249, US Department of Commerce, National Institute of Standards and Technology, http://doi.org/10.6028/NIST.SP.1249.CrossRefGoogle Scholar
Breiner, S., Sriram, R.D. and Subrahmanian, E. (2018), “Compositional models for the internet of everything”, in: 2018 AAAI Spring Symposium Series.CrossRefGoogle Scholar
Breiner, S., Subrahmanian, E. and Sriram, R.D. (2016), “Modeling the internet of things: a foundational approach”, in: Proceedings of the Seventh International Workshop on the Web of Things, ACM, pp. 38–41.CrossRefGoogle Scholar
Carrez, F., Bauer, M., Boussad, M., Bui, N., Jardak, C., De Loof, J., Magerkurth, C., Meissner, S., Nettstrater, A., Olivereau, A. et al. (2013), “Internet of things-architecture iot-a, deliverable d1. 5-final architectural reference model for the iot v3. 0”, European Union, 7th Framework Programme.Google Scholar
da Cruz, M.A., Rodrigues, J.J.P., Al-Muhtadi, J., Korotaev, V.V. and de Albuquerque, V.H.C. (2018), “A reference model for internet of things middleware”, IEEE Internet of Things Journal, Vol. 5 No. 2, pp. 871–883.CrossRefGoogle Scholar
Fong, B. and Spivak, D.I. (2019), An Invitation to Applied Category Theory: Seven Sketches in Compositionality, Cambridge University Press.CrossRefGoogle Scholar
Haller, S., Serbanati, A., Bauer, M. and Carrez, F. (2013), “A domain model for the internet of things”, in: 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing, IEEE, pp. 411–417.CrossRefGoogle Scholar
Lerman, E. and Schmidt, J. (2019), “Networks of hybrid open systems”, arXivpreprint arXiv:1908.10447.Google Scholar
Noura, M., Atiquzzaman, M. and Gaedke, M. (2019), “Interoperability in internet of things: Taxonomies and open challenges”, Mobile Networks and Applications, Vol. 24 No. 3, pp. 796–809.CrossRefGoogle Scholar
Spivak, D.I. (2012), “Functorial data migration”, Information and Computation, Vol. 217, pp. 31–51.CrossRefGoogle Scholar
Spivak, D.I. and Kent, R.E. (2012), “Ologs: a categorical framework for knowledge representation”, PLoS One, Vol. 7 No. 1,p.e24274.CrossRefGoogle ScholarPubMed
Vagner, D., Spivak, D.I. and Lerman, E. (2015), “Algebras of open dynamical systems on the operad of wiring diagrams”, Theory and Applications of Categories, Vol. 30 No. 51, pp. 1793–1822.Google Scholar
Weyer, S., Schmitt, M., Ohmer, M. and Gorecky, D. (2015), “Towards industry 4.0-standardization as the crucial challenge for highly modular, multi-vendor production systems”, Ifac-Papersonline, Vol. 48 No. 3, pp. 579–584.CrossRefGoogle Scholar
Willems, J.C. (2007), “The behavioral approach to open and interconnected systems”, IEEE Control Systems Magazine, Vol. 27 No. 6, pp. 46–99.CrossRefGoogle Scholar
Wisnesky, R., Breiner, S., Jones, A., Spivak, D.I. and Subrahmanian, E. (2017), “Using category theory to facilitate multiple manufacturing service database integration”, Journal of Computing and Information Science in Engineering, Vol. 17 No. 2, p. 021011.CrossRefGoogle Scholar
Yin, H., Wang, Z. and Jha, N.K. (2018), “A hierarchical inference model for internet-of-things”, IEEE Transactions on Multi-Scale Computing Systems, Vol. 4 No. 3, pp. 260–271.CrossRefGoogle Scholar