Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings

Basit Öğe Kaydı
dc.authorscopusidWitold Pedrycz / 58861905800
dc.authorwosidWitold Pedrycz / HJZ-2779-2023
dc.contributor.authorAlwhishi, Ghalya
dc.contributor.authorAlwhishi, Ghalya
dc.contributor.authorElwhishi, Ahmed
dc.contributor.authorPedrycz, Witold
dc.date.accessioned2025-04-18T10:09:42Z
dc.date.available2025-04-18T10:09:42Z
dc.date.issued2024
dc.departmentİstinye Üniversitesi, Mühendislik ve Doğa Bilimleri Fakültesi, Bilgisayar Mühendisliği Bölümü
dc.descriptionMinistry of Education Libya Natural Sciences and Engineering Research Council of Canada (NSERC) Concordia University
dc.description.abstractIn the dynamic landscape of Internet of Things (IoT) applications within multi -source data environments, ensuring the reliability and correctness of system communications has become a paramount concern. This is particularly evident in the presence of commitment protocols with inconsistency and uncertainty. This paper tackles these challenges by introducing a new logic, termed Six-Values Computation Tree Logic for Commitment (6V-CTLC), specifically crafted to adeptly model IoT systems with both inconsistency and uncertainty. Employing this logic, we devise an innovative reduction-based multi-valued model checking approach to verify the systems under scrutiny. Our method is implemented through a Java transformation tool we developed to translate the 6V-CTLC logic to the classical logic of commitment (CTLC) and seamlessly interfaces with the efficient model checker MCMAS+. Applying this approach, we verify an abstracted 6V-CTLC model featuring uncertainty and inconsistency, as well as the original model of our system before abstraction. Furthermore, we assess the scalability of our approach through ten experiments, comparing the results obtained from verifying the two models. The findings demonstrate the effectiveness of system abstraction in mitigating the state explosion problem, while the developed multi-valued model checking technique yields precise results.
dc.identifier.citationAlwhishi, G., Bentahar, J., Elwhishi, A., & Pedrycz, W. (2024). Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings. Information Fusion, 102502.
dc.identifier.doi10.1016/j.inffus.2024.102502
dc.identifier.endpage18
dc.identifier.issn1566-2535
dc.identifier.issn1872-6305
dc.identifier.scopus2-s2.0-85195609045
dc.identifier.scopusqualityQ1
dc.identifier.startpage1
dc.identifier.urihttp://dx.doi.org/10.1016/j.inffus.2024.102502
dc.identifier.urihttps://hdl.handle.net/20.500.12713/6970
dc.identifier.volume111
dc.identifier.wosWOS:001254885100001
dc.identifier.wosqualityQ1
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.institutionauthorPedrycz, Witold
dc.institutionauthoridWitold Pedrycz / 0000-0002-9335-9930
dc.language.isoen
dc.publisherElsevier
dc.relation.ispartofInformation fusion
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/openAccess
dc.subjectMulti-Valued Model Checking
dc.subjectIoTs
dc.subjectCommitment Protocols
dc.subjectLattice-Valued Logics
dc.subjectUncertainty and Inconsistency
dc.titleMulti-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings
dc.typeArticle

Dosyalar

Lisans paketi
Listeleniyor 1 - 1 / 1
Küçük Resim Yok
İsim:
license.txt
Boyut:
1.17 KB
Biçim:
Item-specific license agreed upon to submission
Açıklama:
İndir

Koleksiyon

Bilgisayar Mühendisliği Bölümü Makale Koleksiyonu
Scopus İndeksli Yayınlar Koleksiyonu
WoS İndeksli Yayınlar Koleksiyonu