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

doi:10.1109/CIAPP.2017.8167055

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 proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	2017 2nd IEEE International Conference on Computational Intelligence and Applications (ICCIA 2017)
Subtitle of host publication	[Proceedings]
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	31-35
Number of pages	5
ISBN (Electronic)	9781538620304
ISBN (Print)	9781538620311
DOIs	https://doi.org/10.1109/CIAPP.2017.8167055
Publication status	Published - 2017
Event	2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017 - Beijing, China Duration: 8 Sept 2017 → 11 Sept 2017

Conference

Conference	2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017
Country/Territory	China
City	Beijing
Period	8/09/17 → 11/09/17

Keywords

Ontology
OWL-S
Pi-Calculus
Sensor system
Web Service

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1109/CIAPP.2017.8167055

Persistent URL (handle)

Copy link address

Cite this

Wang, H. Y., Zhang, Y. H., Huang, J. J., Huang, Z. S., & Zhong, N. (2017). Semantic organization and verification of web services for processing sensor data. In 2017 2nd IEEE International Conference on Computational Intelligence and Applications (ICCIA 2017): [Proceedings] (pp. 31-35). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/CIAPP.2017.8167055

@inproceedings{103257bf99ca40bdb27220fcae82afe2,

title = "Semantic organization and verification of web services for processing sensor data",

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.",

keywords = "Ontology, OWL-S, Pi-Calculus, Sensor system, Web Service",

author = "Wang, {Hai Yuan} and Zhang, {Ya Han} and Huang, {Jia Jin} and Huang, {Zhi Sheng} and Ning Zhong",

year = "2017",

doi = "10.1109/CIAPP.2017.8167055",

language = "English",

isbn = "9781538620311",

pages = "31--35",

booktitle = "2017 2nd IEEE International Conference on Computational Intelligence and Applications (ICCIA 2017)",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

address = "United States",

note = "2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017 ; Conference date: 08-09-2017 Through 11-09-2017",

}

Wang, HY, Zhang, YH, Huang, JJ, Huang, ZS & Zhong, N 2017, Semantic organization and verification of web services for processing sensor data. in 2017 2nd IEEE International Conference on Computational Intelligence and Applications (ICCIA 2017): [Proceedings]. Institute of Electrical and Electronics Engineers Inc., pp. 31-35, 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017, Beijing, China, 8/09/17. https://doi.org/10.1109/CIAPP.2017.8167055

Semantic organization and verification of web services for processing sensor data. / Wang, Hai Yuan; Zhang, Ya Han; Huang, Jia Jin et al.
2017 2nd IEEE International Conference on Computational Intelligence and Applications (ICCIA 2017): [Proceedings]. Institute of Electrical and Electronics Engineers Inc., 2017. p. 31-35.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Semantic organization and verification of web services for processing sensor data

AU - Wang, Hai Yuan

AU - Zhang, Ya Han

AU - Huang, Jia Jin

AU - Huang, Zhi Sheng

AU - Zhong, Ning

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

KW - Ontology

KW - OWL-S

KW - Pi-Calculus

KW - Sensor system

KW - Web Service

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

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

U2 - 10.1109/CIAPP.2017.8167055

DO - 10.1109/CIAPP.2017.8167055

M3 - Conference contribution

AN - SCOPUS:85043483246

SN - 9781538620311

SP - 31

EP - 35

BT - 2017 2nd IEEE International Conference on Computational Intelligence and Applications (ICCIA 2017)

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017

Y2 - 8 September 2017 through 11 September 2017

ER -

Semantic organization and verification of web services for processing sensor data

Abstract

Conference

Keywords

UN SDGs

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this