Semantic enabled sensor network design

Jing Sun; Hai H. Wang; Hui Gu

Semantic enabled sensor network design

Jing Sun^*, Hai H. Wang, Hui Gu

^*Corresponding author for this work

Computer Science Research Group

Research output: Chapter in Book/Published conference output › Conference publication

Abstract

Wireless Sensor Network (WSN) systems have become more and more popular in our modern life. They have been widely used in many areas, such as smart homes/buildings, context-aware devices, military applications, etc. Despite the increasing usage, there is a lack of formal description and automated verification for WSN system design. In this paper, we present an approach to support the rigorous verification of WSN modeling using the Semantic Web technology We use Web Ontology Language (OWL) and Semantic Web Rule Language (SWRL) to define a meta-ontology for the modeling of WSN systems. Furthermore, we apply ontology reasoners to perform automated verification on customized WSN models and their instances. We demonstrate and evaluate our approach through a Light Control System (LCS) as the case study.

Original language	English
Title of host publication	SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering
Pages	179-184
Number of pages	6
Publication status	Published - Dec 2011
Event	23rd International Conference on Software Engineering and Knowledge Engineering - Miami, FL, United States Duration: 7 Jul 2011 → 9 Jul 2011

Publication series

Name	International Conference on Software Engineering and Knowledge Engineering. Proceedings
Publisher	KSI Graduate School
ISSN (Print)	2325-9000
ISSN (Electronic)	2325-9086

Conference

Conference	23rd International Conference on Software Engineering and Knowledge Engineering
Abbreviated title	SEKE 2011
Country/Territory	United States
City	Miami, FL
Period	7/07/11 → 9/07/11

Cite this

@inproceedings{11db047203f34534a8b12cfc002d81c1,

title = "Semantic enabled sensor network design",

abstract = "Wireless Sensor Network (WSN) systems have become more and more popular in our modern life. They have been widely used in many areas, such as smart homes/buildings, context-aware devices, military applications, etc. Despite the increasing usage, there is a lack of formal description and automated verification for WSN system design. In this paper, we present an approach to support the rigorous verification of WSN modeling using the Semantic Web technology We use Web Ontology Language (OWL) and Semantic Web Rule Language (SWRL) to define a meta-ontology for the modeling of WSN systems. Furthermore, we apply ontology reasoners to perform automated verification on customized WSN models and their instances. We demonstrate and evaluate our approach through a Light Control System (LCS) as the case study.",

author = "Jing Sun and Wang, {Hai H.} and Hui Gu",

year = "2011",

month = dec,

language = "English",

isbn = "1-89-170629-2",

series = "International Conference on Software Engineering and Knowledge Engineering. Proceedings",

publisher = "KSI Graduate School",

pages = "179--184",

booktitle = "SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering",

note = "23rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2011 ; Conference date: 07-07-2011 Through 09-07-2011",

}

Sun, J, Wang, HH & Gu, H 2011, Semantic enabled sensor network design. in SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering. International Conference on Software Engineering and Knowledge Engineering. Proceedings, pp. 179-184, 23rd International Conference on Software Engineering and Knowledge Engineering, Miami, FL, United States, 7/07/11.

Semantic enabled sensor network design. / Sun, Jing; Wang, Hai H.; Gu, Hui.
SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering. 2011. p. 179-184 (International Conference on Software Engineering and Knowledge Engineering. Proceedings).

Research output: Chapter in Book/Published conference output › Conference publication

TY - GEN

T1 - Semantic enabled sensor network design

AU - Sun, Jing

AU - Wang, Hai H.

AU - Gu, Hui

PY - 2011/12

Y1 - 2011/12

N2 - Wireless Sensor Network (WSN) systems have become more and more popular in our modern life. They have been widely used in many areas, such as smart homes/buildings, context-aware devices, military applications, etc. Despite the increasing usage, there is a lack of formal description and automated verification for WSN system design. In this paper, we present an approach to support the rigorous verification of WSN modeling using the Semantic Web technology We use Web Ontology Language (OWL) and Semantic Web Rule Language (SWRL) to define a meta-ontology for the modeling of WSN systems. Furthermore, we apply ontology reasoners to perform automated verification on customized WSN models and their instances. We demonstrate and evaluate our approach through a Light Control System (LCS) as the case study.

AB - Wireless Sensor Network (WSN) systems have become more and more popular in our modern life. They have been widely used in many areas, such as smart homes/buildings, context-aware devices, military applications, etc. Despite the increasing usage, there is a lack of formal description and automated verification for WSN system design. In this paper, we present an approach to support the rigorous verification of WSN modeling using the Semantic Web technology We use Web Ontology Language (OWL) and Semantic Web Rule Language (SWRL) to define a meta-ontology for the modeling of WSN systems. Furthermore, we apply ontology reasoners to perform automated verification on customized WSN models and their instances. We demonstrate and evaluate our approach through a Light Control System (LCS) as the case study.

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

UR - http://www.ksi.edu/seke/Proceedings/seke/SEKE2011_Proceedings.pdf

M3 - Conference publication

AN - SCOPUS:84862959137

SN - 1-89-170629-2

SN - 978-1-89-170629-5

T3 - International Conference on Software Engineering and Knowledge Engineering. Proceedings

SP - 179

EP - 184

BT - SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering

T2 - 23rd International Conference on Software Engineering and Knowledge Engineering

Y2 - 7 July 2011 through 9 July 2011

ER -

Semantic enabled sensor network design

Abstract

Publication series

Conference

Other files and links

Fingerprint

Design software architecture models using ontology

Cite this