Probability modeling and functional validation of dynamic service composition for location based services with uncertain factors

Weimin Li, Zhengbo Ye, Xiaohua Zhao, Jiulei Jiang, Qun Jin

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

In the Internet of Things (IoT) environment, real-time servers run with many uncertain factors. The modeling and validation for the dynamic service composition of location based services (LBS) in the IoT environment are essential, but it is difficult to consider these uncertain factors. In this paper, after analyzing the advantage and shortage of traditional modeling methods, with the introduction of probability, we propose a Color Probability-TCPN (CP-TCPN) by using the tokens with specific colors. The analysis and functional validation methods based on CP-TCPN are proposed and described. After using it to model and analyze the LBS based in the IoT environment, we demonstrate the result which indicates the CP-TCPN based approach can satisfy the modeling and analysis of the IoT based real-time system with uncertain factors.

Original languageEnglish
Pages (from-to)635-643
Number of pages9
JournalJournal of Internet Technology
Volume15
Issue number4
DOIs
Publication statusPublished - 2014

Keywords

  • CP-TCPN
  • Colors service composition
  • Functional validation
  • Modeling
  • Probability

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Probability modeling and functional validation of dynamic service composition for location based services with uncertain factors'. Together they form a unique fingerprint.

  • Cite this