Multi-Layer Consistency Validation of IoT Systems with UML Inheritance Dynamic Diagrams via SPIN Model Checking
| dc.contributor.author | Nabil Messaoudi | |
| dc.date.accessioned | 2024-02-14T09:13:28Z | |
| dc.date.available | 2024-02-14T09:13:28Z | |
| dc.date.issued | 2023-12-23 | |
| dc.description.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. | |
| dc.identifier.issn | 2116-7125 | |
| dc.identifier.uri | http://dspace.univ-khenchela.dz:4000/handle/123456789/861 | |
| dc.language.iso | en | |
| dc.publisher | ingénierie des systémes d'information | |
| dc.title | Multi-Layer Consistency Validation of IoT Systems with UML Inheritance Dynamic Diagrams via SPIN Model Checking | |
| dc.type | Article |