Smart space system interoperability

Rakib Abdur

Smart space system interoperability

Rakib Abdur

University of the West of England

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

24 Downloads (Pure)

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

Access to Document

MMHS2018_paper_1Accepted author manuscript, 499 KB

Cite this

@inproceedings{e160136e5e2647dd9c3edf375c28916f,

title = "Smart space system interoperability",

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.",

keywords = "Ontology, Interoperability, Resource-bounded agents, Rule-based reasoning",

author = "Rakib Abdur",

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{\textquoteright}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: {\textcopyright} 2018 CEUR-WS. All rights reserved.; 3rd International Workshop on (Meta)Modelling for Healthcare Systems, MMHS ; Conference date: 13-07-2018 Through 13-07-2018",

year = "2019",

month = mar,

day = "22",

language = "English",

volume = "2336",

series = "CEUR Workshop Proceedings",

publisher = "CEUR",

pages = "16--23",

editor = "Rutle, {Adrian } and { Lamo}, Yngve and MacCaull, {Wendy } and Iovino, {Ludovico }",

booktitle = "CEUR Workshop Proceedings",

address = "Germany",

edition = "1",

}

TY - GEN

T1 - Smart space system interoperability

AU - Abdur, Rakib

N1 - Conference code: 3

PY - 2019/3/22

Y1 - 2019/3/22

N2 - 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.

AB - 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.

KW - Ontology

KW - Interoperability

KW - Resource-bounded agents

KW - Rule-based reasoning

UR - http://www.scopus.com/inward/record.url?scp=85063468240&partnerID=8YFLogxK

M3 - Conference proceeding

AN - SCOPUS:85063468240

VL - 2336

T3 - CEUR Workshop Proceedings

SP - 16

EP - 23

BT - CEUR Workshop Proceedings

A2 - Rutle, Adrian

A2 - Lamo, Yngve

A2 - MacCaull, Wendy

A2 - Iovino, Ludovico

PB - CEUR

CY - Bergen, Norway

T2 - 3rd International Workshop on (Meta)Modelling for Healthcare Systems

Y2 - 13 July 2018 through 13 July 2018

ER -

Smart space system interoperability

Abstract

Publication series

Workshop

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this