Smart space system interoperability

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

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 languageEnglish
Title of host publicationSmart space system interoperability
EditorsAdrian Rutle, Yngve Lamo, Wendy MacCaull, Ludovico Iovino
Place of PublicationBergen, Norway
PublisherCEUR
Pages16-23
Number of pages8
Volume2336
Edition1
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

Workshop

Workshop3rd International Workshop on (Meta)Modelling for Healthcare Systems
Abbreviated titleMMHS
Country/TerritoryNorway
CityBergen
Period13/07/1813/07/18

Keywords

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

Fingerprint

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

Cite this