Stratified Model Of The Internet Of Things Infrastructure
The scale and the complexity of modern network solutions built upon the promising and popular paradigm of the Internet of Things brings to the table the vital need for novel approaches to these solutions designing.To foster the further developments in this direction,the stratified model of the Inter...
Saved in:
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Medwell Journals
2018
|
Subjects: | |
Online Access: | http://eprints.utem.edu.my/id/eprint/22975/2/8634-8638.pdf http://eprints.utem.edu.my/id/eprint/22975/ https://www.medwelljournals.com/abstract/?doi=jeasci.2018.8634.8638 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my.utem.eprints.22975 |
---|---|
record_format |
eprints |
spelling |
my.utem.eprints.229752021-08-29T22:27:39Z http://eprints.utem.edu.my/id/eprint/22975/ Stratified Model Of The Internet Of Things Infrastructure Jamil Alsayaydeh, Jamil Abedalrahim Shkarupylo, Vadym Hamid, Mohd Saad Skrupsky, Stepan Oliinyk, Andrii Q Science (General) QA Mathematics The scale and the complexity of modern network solutions built upon the promising and popular paradigm of the Internet of Things brings to the table the vital need for novel approaches to these solutions designing.To foster the further developments in this direction,the stratified model of the Internet of Things infrastructure has been proposed.There are distinguished three hierarchical layers:the lowest one is represented with web services, the intermediate one-with usage scenarios,the upper layer-with applicability domain of the Internet of Things solution.The model is based on the Temporal Logic of Actions and corresponding TLA+ formalism.To check the specification,created with respect to the proposed model, the TLC model checker has been used.Two approaches to automated TLC-verification have been utilized-model checking by way of breadth-first search and by way of depth-first search.The smart home scenario has been considered. Medwell Journals 2018-11 Article PeerReviewed text en http://eprints.utem.edu.my/id/eprint/22975/2/8634-8638.pdf Jamil Alsayaydeh, Jamil Abedalrahim and Shkarupylo, Vadym and Hamid, Mohd Saad and Skrupsky, Stepan and Oliinyk, Andrii (2018) Stratified Model Of The Internet Of Things Infrastructure. Journal Of Engineering And Applied Sciences, 13 (20). pp. 8634-8638. ISSN 1816-949X https://www.medwelljournals.com/abstract/?doi=jeasci.2018.8634.8638 DOI: 10.3923/jeasci.2018.8634.8638 |
institution |
Universiti Teknikal Malaysia Melaka |
building |
UTEM Library |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Teknikal Malaysia Melaka |
content_source |
UTEM Institutional Repository |
url_provider |
http://eprints.utem.edu.my/ |
language |
English |
topic |
Q Science (General) QA Mathematics |
spellingShingle |
Q Science (General) QA Mathematics Jamil Alsayaydeh, Jamil Abedalrahim Shkarupylo, Vadym Hamid, Mohd Saad Skrupsky, Stepan Oliinyk, Andrii Stratified Model Of The Internet Of Things Infrastructure |
description |
The scale and the complexity of modern network solutions built upon the promising and popular paradigm of the Internet of Things brings to the table the vital need for novel approaches to these solutions designing.To foster the further developments in this direction,the stratified model of the Internet of Things infrastructure has been proposed.There are distinguished three hierarchical layers:the lowest one is represented with web services, the intermediate one-with usage scenarios,the upper layer-with applicability domain of the Internet of Things solution.The model is based on the Temporal Logic of Actions and corresponding TLA+ formalism.To check the specification,created with respect to the proposed model, the TLC model checker has been used.Two approaches to automated TLC-verification have been utilized-model checking by way of breadth-first search and by way of depth-first search.The smart home scenario has been considered. |
format |
Article |
author |
Jamil Alsayaydeh, Jamil Abedalrahim Shkarupylo, Vadym Hamid, Mohd Saad Skrupsky, Stepan Oliinyk, Andrii |
author_facet |
Jamil Alsayaydeh, Jamil Abedalrahim Shkarupylo, Vadym Hamid, Mohd Saad Skrupsky, Stepan Oliinyk, Andrii |
author_sort |
Jamil Alsayaydeh, Jamil Abedalrahim |
title |
Stratified Model Of The Internet Of Things Infrastructure |
title_short |
Stratified Model Of The Internet Of Things Infrastructure |
title_full |
Stratified Model Of The Internet Of Things Infrastructure |
title_fullStr |
Stratified Model Of The Internet Of Things Infrastructure |
title_full_unstemmed |
Stratified Model Of The Internet Of Things Infrastructure |
title_sort |
stratified model of the internet of things infrastructure |
publisher |
Medwell Journals |
publishDate |
2018 |
url |
http://eprints.utem.edu.my/id/eprint/22975/2/8634-8638.pdf http://eprints.utem.edu.my/id/eprint/22975/ https://www.medwelljournals.com/abstract/?doi=jeasci.2018.8634.8638 |
_version_ |
1710679444183580672 |
score |
13.188404 |