Smart space system interoperability

Abdur, Rakib

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.

Citation

Abdur, R. (2019). Smart space system interoperability. In Proceedings of the 3rd International Workshop on (Meta)Modelling for Healthcare Systems (16-23)

• Conference Name: International Workshop on Meta-modelling for Healthcare Systems
• Conference Location: Western Norway University of Applied Sciences, Bergen, Norway
• Start Date: Jun 13, 2018
• End Date: Jun 15, 2018
• Acceptance Date: Oct 27, 2018
• Online Publication Date: Mar 22, 2019
• Publication Date: Mar 22, 2019
• Deposit Date: Nov 20, 2018
• Publicly Available Date: Apr 23, 2019
• Publisher: CEUR Workshop Proceedings
• Volume: 2336
• Pages: 16-23
• Series ISSN: 1613-0073
• Book Title: Proceedings of the 3rd International Workshop on (Meta)Modelling for Healthcare Systems
• Keywords: ontology, interoperability, resource-bounded agents, rule-based reasoning
• Public URL: https://uwe-repository.worktribe.com/output/858306
• Publisher URL: http://ceur-ws.org/Vol-2336/