Multi-Layer Consistency Validation of IoT Systems with UML Inheritance Dynamic Diagrams via SPIN Model Checking
Year: 2023
Type: article
Abstract: The integration of the Unified Modeling Language (UML) with the Internet of Things (IoT) facilitates the multi-faceted modeling of complex IoT systems.Despite existing methodologies addressing UML coherence, the literature reveals a paucity of strategies for ensuring consistency between use cases and their manifestations in activity and sequence diagrams, particularly when inheritance is employed.This study delves into the validation of UML behavioral views, focusing on the coherence of use cases, activity diagrams, and sequence diagrams within IoT specifications through a multi-layered consistency approach.A methodology is presented for transforming IoT system specifications into Büchi automata, enabling consistency verification through the SPIN Model Checker.The robustness of this method is demonstrated through a case study involving a Healthcare IoT system, highlighting the utility of the proposed validation technique.
DOI: 10.18280/isi.280610
Authors: Nabil Messaoudi, Haouassi Hicham, Maarouk Toufik Messaoud, Hamdane Mohamed Elkamel
Institution: Abbès Laghrour University of Khenchela
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
OpenAlex ID: W4390124985