Anzeige
Erschienen in:
2018 | OriginalPaper | Buchkapitel
A Formal Model for Interaction Specification and Analysis in IoT Applications
verfasst von : Souad Marir, Faiza Belala, Nabil Hameurlain
Erschienen in: Model and Data Engineering
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
The Internet of Things (IoT) is a concept where connected entities can work and interact with each other in order to facilitate daily life. Although, many research efforts in the IoT realm have been to date devoted to device, networking and application service perspectives, formalization and analysis of IoT systems are still in their infancy. This paper introduces a new BRS-based approach aiming to support specification and verification of interaction and interoperability aspects in IoT systems. The proposed approach is based on a bigraphical-agent model that investigates the spatial structure of the IoT system and its logical structure defining the behaviour and interactions of its different entities. The Tree Query Logic (TQL) is used to formally express and verify some properties inherent to IoT systems.