Modeling the Internet of Things: A Foundational Approach

  title={Modeling the Internet of Things: A Foundational Approach},
  author={Spencer Breiner and Eswaran Subrahmanian and Ram D. Sriram},
  journal={Proceedings of the Seventh International Workshop on the Web of Things},
As we extend the reach of the Internet through sensing and automation, networked interactions become more critical and safety and security require improved means for designing and testing system components, platforms and services. A tremendous amount of messy, heterogeneous data passes through such networks; integrating and applying that data so that it can be used for seamless interoperability and higher level reasoning requires conversion into some higher abstraction. This necessitates a new… 

Figures and Tables from this paper

Attack and System Modeling Applied to IoT, Cloud, and Mobile Ecosystems

This article surveys existing approaches, tools, and techniques for attack and system modeling applicable to IoT, Cloud computing, and Mobile Computing and highlights the main existing challenges and open issues in the area.

WoT 2016: The Seventh International Workshop on the Web of Things

Continuing the successful Web of Things workshop series, the use of technologies and principles at the core of the Web to provide methods for a seamless integration of physical devices were explored.

Towards an Interdisciplinary Development of IoT-Enhanced Business Processes

An interdisciplinary development process to support the creation of IoT-enhanced BPs by applying the Separation of Concerns principle is presented and the approach is successfully validated through a case-study evaluation.

A DSS model for IoT-based intelligent transportation systems

The utilization of a business-oriented modelling approach is proposed for the modelling of the Decision Support System (DSS) that supports these services and two scenarios are assessed considering the DSS behaviour of an IoT-based intelligent transportation service.

Transforming Health Care through Digital Revolutions

The P9 health care concept is introduced, followed by a discussion of a framework for smart health care, and examples of ongoing work at the National Institute of Standards and Technology (NIST) are presented.

Energy Network Modelling Approaches for Multi-Scale Building Performance Optimization

  • L. TronchinM. Manfren
  • Engineering, Computer Science
    2018 IEEE International Conference on Environment and Electrical Engineering and 2018 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe)
  • 2018
The research aims to present an analysis of the motivations to pursue a research in this direction, highlighting relevant features, opportunities and limitations.

A Security Control Model Based on Petri Net for Industrial IoT

The paper described the components of the safety control model, the safety theorem and the typical implementation process, and the various interference factors that may be faced in the system.

Energy Modelling and Analytics in the Built Environment—A Review of Their Role for Energy Transitions in the Construction Sector

The goal of this research is to evaluate the current state of the art of energy transitions research and identify key concepts that can encourage further research, addressing both human and technological factors that influence energy performance of buildings.

A Context Retrieval Method for Context-awareness Using Ontology-Based Approach in Internet of Things Environments

A context retrieval method is proposed that facilitates in obtaining context information for the context-aware system in IoT environments and provides an ontology-based mapping procedure for thecontext representation problem described above.



Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

This paper aims to elucidate a claim that relationships between CT and MDE are more complex and richer than is normally assumed for "applied mathematics", and provides a toolbox of design patterns and structural principles of real practical value for MDE.

An ontology-based approach to knowledge management in design processes

Technical Evaluation of the Systems Modeling Language (SysML)

Ologs : A Categorical Framework for Knowledge Representation

Grounded in formal mathematics, ologs can be rigorously formulated and cross-compared in ways that other KR models (such as semantic networks) cannot, and it is shown that any primitive recursive function can be described by an olog.

Functorial Models for Petri Nets

The notion of pre-nets is introduced, obtaining a fully satisfactory categorical treatment, where the operational semantics of nets yields an adjunction, and since the universal property of adjunctions guarantees that colimit constructions on nets are preserved in the authors' algebraic models, the resulting semantic framework has good compositional properties.

Category Theory for the Sciences

Category Theory for the Sciences is intended to create a bridge between the vast array of mathematical concepts used by mathematicians and the models and frameworks of such scientific disciplines as computation, neuroscience, and physics.

A mathematical theory of resources

A Compositional Framework for Passive Linear Networks

Passive linear networks are used in a wide variety of engineering applications, but the best studied are electrical circuits made of resistors, inductors and capacitors. We describe a category where

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support - Results of the IMPROVE Project

This volume summarizes the results after 9 years of cooperative research work on conceptual design and basic engineering of IMPROVE, a large joint project of research institutions at RWTH Aachen University.

Technological Concepts and Mathematical Models in the Evolution of Modern Engineering Systems

This website will certainly supply the most effective way and reference to obtain guide technological concepts and mathematical models in the evolution of modern engineering systems Even this is soft file book, it will certainly be ease to bring technological concepts.