A probabilistic timing constraint modeling and functional validation approach to dynamic service composition for LBS

Weimin Li, Xiaohua Zhao, Jiulei Jiang, Xiaokang Zhou, Qun Jin

研究成果: Conference contribution

抄録

Location Based Services (LBS) is a kind of real-time service with uncertain factors, and its modeling and validation is essential. In this paper, with the introduction of probability, we propose a Color Probability-TCPN (CP-TCPN) by using the tokens with specific colors as the research objects and redefining several relative parameters. We use CP-TCPN to realize modeling and functional verification of the dynamic services composition for LBS. Simulation result is presented to illustrate the application of CP-TCPN in the modeling and analyzing of the real-time system with uncertain factors.

本文言語English
ホスト出版物のタイトルMobile, Ubiquitous, and Intelligent Computing, MUSIC 2013
出版社Springer Verlag
ページ501-508
ページ数8
ISBN(印刷版)9783642406744
DOI
出版ステータスPublished - 2014
イベント4th International Conference on Mobile, Ubiquitous, and Intelligent Computing, MUSIC 2013 - Gwangju, Korea, Republic of
継続期間: 2013 9月 42013 9月 6

出版物シリーズ

名前Lecture Notes in Electrical Engineering
274 LNEE
ISSN(印刷版)1876-1100
ISSN(電子版)1876-1119

Other

Other4th International Conference on Mobile, Ubiquitous, and Intelligent Computing, MUSIC 2013
国/地域Korea, Republic of
CityGwangju
Period13/9/413/9/6

ASJC Scopus subject areas

  • 産業および生産工学

フィンガープリント

「A probabilistic timing constraint modeling and functional validation approach to dynamic service composition for LBS」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル