Smart space system interoperability

Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

5 Downloads (Pure)


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 languageEnglish
Title of host publicationCEUR Workshop Proceedings
EditorsAdrian Rutle, Yngve Lamo, Wendy MacCaull, Ludovico Iovino
Place of PublicationBergen, Norway
Number of pages8
Publication statusPublished - 22 Mar 2019
Externally publishedYes
Event3rd International Workshop on (Meta)Modelling for Healthcare Systems - Western Norway University of Applied Sciences, Bergen, Norway
Duration: 13 Jul 201813 Jul 2018
Conference number: 3

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR Workshop Proceedings
ISSN (Print)1613-0073


Workshop3rd International Workshop on (Meta)Modelling for Healthcare Systems
Abbreviated titleMMHS

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.


  • Ontology
  • Interoperability
  • Resource-bounded agents
  • Rule-based reasoning

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Smart space system interoperability'. Together they form a unique fingerprint.

Cite this