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
    ホスト出版物のタイトルLecture Notes in Electrical Engineering
    出版社Springer Verlag
    ページ501-508
    ページ数8
    274 LNEE
    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(印刷版)18761100
    ISSN(電子版)18761119

    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」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル