Semantic organization and verification of web services for processing sensor data

Hai Yuan Wang, Ya Han Zhang, Jia Jin Huang, Zhi Sheng Huang, Ning Zhong

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

The emergence of many heterogeneous sensor systems on the Web has produced huge amounts of sensor data. This requires building the customized and automated processing methods, which can be formed by connecting the services on the Web. Based on the semantic Web services markup language named OWL-S, the algorithms for processing sensor data on the Web are represented as the service ontologies and become the machine-readable models. In this paper, the composite service for fusing the sensor data of vibrating wire strain sensor is organized based the atomic services on the Web. At last the service is formally represented as Pi-Calculus and verified by the software tool MWB.

Original languageEnglish
Title of host publication2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages31-35
Number of pages5
Volume2017-January
ISBN (Electronic)9781538620304
DOIs
Publication statusPublished - 4 Dec 2017
Event2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017 - Beijing, China
Duration: 8 Sep 201711 Sep 2017

Conference

Conference2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017
CountryChina
CityBeijing
Period8/09/1711/09/17

Keywords

  • Ontology
  • OWL-S
  • Pi-Calculus
  • Sensor system
  • Web Service

Fingerprint

Dive into the research topics of 'Semantic organization and verification of web services for processing sensor data'. Together they form a unique fingerprint.

Cite this