Abstract
This paper presents our research approach which uses and integrates the terminologies and inference mechanism towards the development of functionally correct systems for smart spaces, considering the recent advances in the area of ontology-based modelling, agent-based technology, formal verification using model checking, and Android application development techniques The overall goal is to arrive at a point where it is possible to achieve computer supported knowledge exchange between technical/non-technical stakeholders in a distributed fashion for informed decision-making, for example, in eHealth systems.
Original language | English |
---|---|
Title of host publication | CEUR Workshop Proceedings |
Editors | Adrian Rutle, Yngve Lamo, Wendy MacCaull, Ludovico Iovino |
Place of Publication | Bergen, Norway |
Publisher | CEUR |
Pages | 16-23 |
Number of pages | 8 |
Volume | 2336 |
Edition | 1 |
Publication status | Published - 22 Mar 2019 |
Externally published | Yes |
Event | 3rd International Workshop on (Meta)Modelling for Healthcare Systems - Western Norway University of Applied Sciences, Bergen, Norway Duration: 13 Jul 2018 → 13 Jul 2018 Conference number: 3 |
Publication series
Name | CEUR Workshop Proceedings |
---|---|
Publisher | CEUR Workshop Proceedings |
ISSN (Print) | 1613-0073 |
Workshop
Workshop | 3rd International Workshop on (Meta)Modelling for Healthcare Systems |
---|---|
Abbreviated title | MMHS |
Country/Territory | Norway |
City | Bergen |
Period | 13/07/18 → 13/07/18 |
Bibliographical note
Funding Information:I am grateful to have received the travel grant from the Western Norway University of Applied Sciences and UWE to attend the MMHS’18 workshop. The research highlighted in this paper was undertaken with funding received through the Ministry of Science, Technology and Innovation (MOSTI), Govt. of Malaysia as project number 01-02-12-SF0269. I am also indebted to my former students at the University of Nottingham Malaysia Campus, including Hafiz Mahfooz Ul Haque and Ijaz Uddin.
Publisher Copyright:
© 2018 CEUR-WS. All rights reserved.
Keywords
- Ontology
- Interoperability
- Resource-bounded agents
- Rule-based reasoning
ASJC Scopus subject areas
- General Computer Science