Semantic enabled sensor network design

Jing Sun*, Hai H. Wang, Hui Gu

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationSEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering
Pages179-184
Number of pages6
Publication statusPublished - Dec 2011
Event23rd International Conference on Software Engineering and Knowledge Engineering - Miami, FL, United States
Duration: 7 Jul 20119 Jul 2011

Publication series

NameInternational Conference on Software Engineering and Knowledge Engineering. Proceedings
PublisherKSI Graduate School
ISSN (Print)2325-9000
ISSN (Electronic)2325-9086

Conference

Conference23rd International Conference on Software Engineering and Knowledge Engineering
Abbreviated titleSEKE 2011
CountryUnited States
CityMiami, FL
Period7/07/119/07/11

Fingerprint Dive into the research topics of 'Semantic enabled sensor network design'. Together they form a unique fingerprint.

  • Design software architecture models using ontology

    Sun, J., Wang, H. H. & Hu, T., Dec 2011, SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering. p. 191-196 6 p. (International Conference on Software Engineering and Knowledge Engineering. Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference publication

Cite this