Using IoTGolog to formalize IoT scenarios

Shah Rukh Humayoun; Yael Dubinsky; Ragaad Altarawneh

doi:10.1109/WF-IoT.2015.7389058

Using IoTGolog to formalize IoT scenarios

Shah Rukh Humayoun, Yael Dubinsky, Ragaad Altarawneh

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

Abstract

Internet of Things (IoT) scenarios exist in various domains and due to the vast changes in technology and systems modernization, they are constantly evolving. In order to cope with this dynamicity, there is a need to provide a robust yet flexible way to design, develop, and evaluate the IoT architecture and implementation. We present IoTGolog, a formal task modeling language to define and evaluate IoT scenarios. Using IoTGolog, characteristics of the IoT scenario as well as the tests to evaluate it are formalized. This provides accuracy and better control over the IoT evolution. IoTGolog extends our previous work on TaMoGolog and MobiGolog for general and mobile-based scenarios respectively. We illustrate IoTGolog for the case of car emergency response system.

Original language	English
Title of host publication	IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	234-238
Number of pages	5
ISBN (Electronic)	9781509003655
DOIs	https://doi.org/10.1109/WF-IoT.2015.7389058
State	Published - 2015
Externally published	Yes
Event	2nd IEEE World Forum on Internet of Things, WF-IoT 2015 - Milan, Italy Duration: 14 Dec 2015 → 16 Dec 2015

Publication series

Name	IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings

Conference

Conference	2nd IEEE World Forum on Internet of Things, WF-IoT 2015
Country/Territory	Italy
City	Milan
Period	14/12/15 → 16/12/15

Bibliographical note

Publisher Copyright:
© 2015 IEEE.

Keywords

Internet of Things (IoT)
IoTGolog
TaMoGolog
formal languages
mobile systems
task models

ASJC Scopus subject areas

Computer Networks and Communications
Computer Science Applications
Hardware and Architecture

Access to Document

10.1109/WF-IoT.2015.7389058

Cite this

@inproceedings{b199ce3736084bb48d78b283a4fe2da0,

title = "Using IoTGolog to formalize IoT scenarios",

abstract = "Internet of Things (IoT) scenarios exist in various domains and due to the vast changes in technology and systems modernization, they are constantly evolving. In order to cope with this dynamicity, there is a need to provide a robust yet flexible way to design, develop, and evaluate the IoT architecture and implementation. We present IoTGolog, a formal task modeling language to define and evaluate IoT scenarios. Using IoTGolog, characteristics of the IoT scenario as well as the tests to evaluate it are formalized. This provides accuracy and better control over the IoT evolution. IoTGolog extends our previous work on TaMoGolog and MobiGolog for general and mobile-based scenarios respectively. We illustrate IoTGolog for the case of car emergency response system.",

keywords = "Internet of Things (IoT), IoTGolog, TaMoGolog, formal languages, mobile systems, task models",

author = "Humayoun, {Shah Rukh} and Yael Dubinsky and Ragaad Altarawneh",

note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 2nd IEEE World Forum on Internet of Things, WF-IoT 2015 ; Conference date: 14-12-2015 Through 16-12-2015",

year = "2015",

doi = "10.1109/WF-IoT.2015.7389058",

language = "English",

series = "IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "234--238",

booktitle = "IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings",

address = "United States",

}

Humayoun, SR, Dubinsky, Y & Altarawneh, R 2015, Using IoTGolog to formalize IoT scenarios. in IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings., 7389058, IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings, Institute of Electrical and Electronics Engineers Inc., pp. 234-238, 2nd IEEE World Forum on Internet of Things, WF-IoT 2015, Milan, Italy, 14/12/15. https://doi.org/10.1109/WF-IoT.2015.7389058

Using IoTGolog to formalize IoT scenarios. / Humayoun, Shah Rukh; Dubinsky, Yael; Altarawneh, Ragaad.
IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 2015. p. 234-238 7389058 (IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings).

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

TY - GEN

T1 - Using IoTGolog to formalize IoT scenarios

AU - Humayoun, Shah Rukh

AU - Dubinsky, Yael

AU - Altarawneh, Ragaad

PY - 2015

Y1 - 2015

N2 - Internet of Things (IoT) scenarios exist in various domains and due to the vast changes in technology and systems modernization, they are constantly evolving. In order to cope with this dynamicity, there is a need to provide a robust yet flexible way to design, develop, and evaluate the IoT architecture and implementation. We present IoTGolog, a formal task modeling language to define and evaluate IoT scenarios. Using IoTGolog, characteristics of the IoT scenario as well as the tests to evaluate it are formalized. This provides accuracy and better control over the IoT evolution. IoTGolog extends our previous work on TaMoGolog and MobiGolog for general and mobile-based scenarios respectively. We illustrate IoTGolog for the case of car emergency response system.

AB - Internet of Things (IoT) scenarios exist in various domains and due to the vast changes in technology and systems modernization, they are constantly evolving. In order to cope with this dynamicity, there is a need to provide a robust yet flexible way to design, develop, and evaluate the IoT architecture and implementation. We present IoTGolog, a formal task modeling language to define and evaluate IoT scenarios. Using IoTGolog, characteristics of the IoT scenario as well as the tests to evaluate it are formalized. This provides accuracy and better control over the IoT evolution. IoTGolog extends our previous work on TaMoGolog and MobiGolog for general and mobile-based scenarios respectively. We illustrate IoTGolog for the case of car emergency response system.

KW - Internet of Things (IoT)

KW - IoTGolog

KW - TaMoGolog

KW - formal languages

KW - mobile systems

KW - task models

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

U2 - 10.1109/WF-IoT.2015.7389058

DO - 10.1109/WF-IoT.2015.7389058

M3 - Conference contribution

AN - SCOPUS:84964543727

T3 - IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings

SP - 234

EP - 238

BT - IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2nd IEEE World Forum on Internet of Things, WF-IoT 2015

Y2 - 14 December 2015 through 16 December 2015

ER -

Using IoTGolog to formalize IoT scenarios

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this