@inproceedings{c520d3a466024722a0c9309f1395da4c,
title = "Model Checking Intelligent Information Systems with 3-Valued Timed Commitments",
abstract = "Intelligent Information Systems (IIS) and their applications have gained recently increasing interest in various domains. Their verification to enhance their reliability in uncertain settings constitutes a major challenge that is still attracting the research community to work on and investigate. This paper focuses on modeling and verifying IIS, taking the healthcare domain, namely a smart healthcare system as a typical example. We use the powerful concept of social conditional commitments to model the interactions among the stakeholders and capture the business logic properties of the system in the presence of uncertainty. We start by proposing 3 v- CTLcc, a new modeling language that extrapolates the two-valued timed commitment logic CTLcc to the three-value space. We define a new semantics of the commitment modality in this new logic. We also simulate and model the system and introduce a set of specifications. We verify the system model against these specifications using a model checking reduction approach. The effectiveness of the proposed approach is evaluated by implementing it on the MCMAS-SC model checker.",
keywords = "3v-Model checking, Conditional commitments, Intelligent information systems, Smart health system",
author = "Ghalya Alwhishi and Nagat Drawel and Jamal Bentahar",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 18th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2022 ; Conference date: 22-08-2022 Through 24-08-2022",
year = "2022",
doi = "10.1007/978-3-031-14391-5_18",
language = "British English",
isbn = "9783031143908",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "237--251",
editor = "Irfan Awan and Muhammad Younas and Aneta Poniszewska-Mara{\'n}da",
booktitle = "Mobile Web and Intelligent Information Systems - 18th International Conference, MobiWIS 2022, Proceedings",
address = "Germany",
}