Modelling and Verification of Context-Aware Intelligent Assistive Formalism

被引:2
作者
Yousaf, Shahid [1 ]
Ul Haque, Hafiz Mahfooz [2 ]
Khalid, Abbas [1 ]
Hashmi, Muhammad Adnan [3 ]
Khan, Eraj [1 ]
机构
[1] Univ Lahore, Dept Comp Sci & IT, Lahore 54000, Pakistan
[2] Univ Lahore, Dept Software Engn, Lahore 54000, Pakistan
[3] Higher Coll Technol, Abu Dhabi 25026, U Arab Emirates
来源
CMC-COMPUTERS MATERIALS & CONTINUA | 2022年 / 71卷 / 02期
关键词
Context-awareness; multi-agents; colored petri net; ontology; DECISION-SUPPORT-SYSTEM; HEALTH-CARE;
D O I
10.32604/cmc.2022.023019
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Recent years have witnessed the expeditious evolution of intelligent smart devices and autonomous software technologies with the expanded domains of computing from workplaces to smart computing in everyday routine life activities. This trend has been rapidly advancing towards the new generation of systems where smart devices play vital roles in acting intelligently on behalf of the users. Context-awareness has emerged from the pervasive computing paradigm. Context-aware systems have the ability to acquire contextual information from the surrounding environment autonomously, perform reasoning on it, and then adapt their behaviors accordingly. With the proliferation of context-aware systems and smart sensors, real-time monitoring of environmental situations (context) has become quite trivial. However, it is often challenging because the imperfect nature of context can cause the inconsistent behavior of the system. In this paper, we propose a context aware intelligent decision support formalism to assist cognitively impaired people in managing their routine life activities. For this, we present a semantic knowledge-based framework to contextualize the information from the environment using the protege ontology editor and Semantic Web Rule Language (SWRL) rules. The set of contextualized information and the set of rules acquired from the ontology can be used to model Context-aware Multi-Agent Systems (CMAS) in order to autonomously plan all activities of the users and notify users to act accordingly. To illustrate the use of the proposed formalism, we model a case study of Mild Cognitive Impaired (MCI) patients using Colored Petri Nets (CPN) to show the reasoning process on how the context aware agents collaboratively plan activities on the user's behalf and validate the correctness properties of the system.
引用
收藏
页码:3355 / 3373
页数:19
相关论文
共 50 条
[31]   A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents [J].
Rakib, Abdur ;
Faruqui, Rokan Uddin .
CONTEXT-AWARE SYSTEMS AND APPLICATIONS, (ICCASA 2012), 2013, 109 :86-96
[32]   Context-aware enterprise modelling towards agile models development [J].
Bilinkis , Julia ;
Zaytseva, Elina ;
Zueva, Anastasia .
2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, 2017, :79-87
[33]   Stroke Prediction Context-Aware Health Care System [J].
Mcheick, Hamid ;
Nasser, Hoda ;
Dbouk, Mohamed ;
Nasser, Ahmad .
2016 IEEE FIRST INTERNATIONAL CONFERENCE ON CONNECTED HEALTH: APPLICATIONS, SYSTEMS AND ENGINEERING TECHNOLOGIES (CHASE), 2016, :30-35
[34]   Context-aware payment for supply chains: Software architecture and formal verification [J].
Zamani, Zahra ;
Bayat, Maryam ;
Moeini, Ali ;
Motevalian, Alireza .
WORLD CONGRESS ON ENGINEERING 2008, VOLS I-II, 2008, :211-+
[35]   CONTEXT-AWARE WORKFLOW MANAGEMENT FOR INTELLIGENT NAVIGATION APPLICATIONS IN PERVASIVE ENVIRONMENTS [J].
Tang, Feilong ;
You, Ilsun ;
Guo, Minyi ;
Guo, Song .
INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2010, 16 (04) :607-621
[36]   A Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems [J].
Fkaier, Soumoud ;
Khalgui, Mohamed ;
Frey, Georg .
PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2021, :111-121
[37]   Models for an Intelligent Context-Aware Blended m-Learning System [J].
Newell, David ;
Davies, Philip ;
Austin, Ron ;
Moore, Philip ;
Sharma, Mak .
2015 IEEE 29TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS WAINA 2015, 2015, :405-410
[38]   The MOM of context-aware systems: A survey [J].
Pradeep, Preeja ;
Krishnamoorthy, Shivsuhramani .
COMPUTER COMMUNICATIONS, 2019, 137 :44-69
[39]   Real-Time Adaptation of Context-Aware Intelligent User Interfaces, for Enhanced Situational Awareness [J].
Stefanidi, Zinovia ;
Margetis, George ;
Ntoa, Stavroula ;
Papagiannakis, George .
IEEE ACCESS, 2022, 10 :23367-23393
[40]   Context-Aware QoE Modelling, Measurement, and Prediction in Mobile Computing Systems [J].
Mitra, Karan ;
Zaslavsky, Arkady ;
Ahlund, Christer .
IEEE TRANSACTIONS ON MOBILE COMPUTING, 2015, 14 (05) :920-936