Skip to main navigation Skip to search Skip to main content

Semantic enabled sensor network design

  • Jing Sun*
  • , Hai H. Wang
  • , Hui Gu
    • *Corresponding author for this work
  • University of Auckland

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

1   Link opens in a new tab Citation (Scopus)

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 2011 → 9 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
Country/TerritoryUnited States
CityMiami, FL
Period7/07/11 → 9/07/11

Other files and links

Fingerprint

Dive into the research topics of 'Semantic enabled sensor network design'. Together they form a unique fingerprint.
View full fingerprint
  • 1 Citations
  • 1 Conference publication

  • 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/Published conference output › Conference publication

Cite this