Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings
<p>In 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...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | , , |
| منشور في: |
2024
|
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| _version_ | 1864513544994684928 |
|---|---|
| author | Ghalya Alwhishi (21393599) |
| author2 | Jamal Bentahar (20200653) Ahmed Elwhishi (21393602) Witold Pedrycz (15194658) |
| author2_role | author author author |
| author_facet | Ghalya Alwhishi (21393599) Jamal Bentahar (20200653) Ahmed Elwhishi (21393602) Witold Pedrycz (15194658) |
| author_role | author |
| dc.creator.none.fl_str_mv | Ghalya Alwhishi (21393599) Jamal Bentahar (20200653) Ahmed Elwhishi (21393602) Witold Pedrycz (15194658) |
| dc.date.none.fl_str_mv | 2024-06-01T03:00:00Z |
| dc.identifier.none.fl_str_mv | 10.1016/j.inffus.2024.102502 |
| dc.relation.none.fl_str_mv | https://figshare.com/articles/journal_contribution/Multi-valued_verification_of_commitment_systems_with_uncertainty_and_inconsistency_in_multi-source_data_settings/29109047 |
| dc.rights.none.fl_str_mv | CC BY 4.0 info:eu-repo/semantics/openAccess |
| dc.subject.none.fl_str_mv | Information and computing sciences Artificial intelligence Data management and data science Distributed computing and systems software Software engineering Theory of computation Multi-valued model checking IoTs Commitment protocols Lattice-valued logics |
| dc.title.none.fl_str_mv | Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings |
| dc.type.none.fl_str_mv | Text Journal contribution info:eu-repo/semantics/publishedVersion text contribution to journal |
| description | <p>In 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.</p><h2>Other Information</h2> <p> Published in: Information Fusion<br> License: <a href="http://creativecommons.org/licenses/by/4.0/" target="_blank">http://creativecommons.org/licenses/by/4.0/</a><br>See article on publisher's website: <a href="https://dx.doi.org/10.1016/j.inffus.2024.102502" target="_blank">https://dx.doi.org/10.1016/j.inffus.2024.102502</a></p> |
| eu_rights_str_mv | openAccess |
| id | Manara2_a73c88d018acd00b40bf3952fedf1032 |
| identifier_str_mv | 10.1016/j.inffus.2024.102502 |
| network_acronym_str | Manara2 |
| network_name_str | Manara2 |
| oai_identifier_str | oai:figshare.com:article/29109047 |
| publishDate | 2024 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| rights_invalid_str_mv | CC BY 4.0 |
| spelling | Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settingsGhalya Alwhishi (21393599)Jamal Bentahar (20200653)Ahmed Elwhishi (21393602)Witold Pedrycz (15194658)Information and computing sciencesArtificial intelligenceData management and data scienceDistributed computing and systems softwareSoftware engineeringTheory of computationMulti-valued model checkingIoTsCommitment protocolsLattice-valued logics<p>In 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.</p><h2>Other Information</h2> <p> Published in: Information Fusion<br> License: <a href="http://creativecommons.org/licenses/by/4.0/" target="_blank">http://creativecommons.org/licenses/by/4.0/</a><br>See article on publisher's website: <a href="https://dx.doi.org/10.1016/j.inffus.2024.102502" target="_blank">https://dx.doi.org/10.1016/j.inffus.2024.102502</a></p>2024-06-01T03:00:00ZTextJournal contributioninfo:eu-repo/semantics/publishedVersiontextcontribution to journal10.1016/j.inffus.2024.102502https://figshare.com/articles/journal_contribution/Multi-valued_verification_of_commitment_systems_with_uncertainty_and_inconsistency_in_multi-source_data_settings/29109047CC BY 4.0info:eu-repo/semantics/openAccessoai:figshare.com:article/291090472024-06-01T03:00:00Z |
| spellingShingle | Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings Ghalya Alwhishi (21393599) Information and computing sciences Artificial intelligence Data management and data science Distributed computing and systems software Software engineering Theory of computation Multi-valued model checking IoTs Commitment protocols Lattice-valued logics |
| status_str | publishedVersion |
| title | Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings |
| title_full | Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings |
| title_fullStr | Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings |
| title_full_unstemmed | Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings |
| title_short | Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings |
| title_sort | Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings |
| topic | Information and computing sciences Artificial intelligence Data management and data science Distributed computing and systems software Software engineering Theory of computation Multi-valued model checking IoTs Commitment protocols Lattice-valued logics |