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 | Smart space system interoperability |
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 |
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 |
Keywords
- Ontology
- Interoperability
- Resource-bounded agents
- Rule-based reasoning