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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    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.

    Original languageEnglish
    Title of host publicationLecture Notes in Electrical Engineering
    PublisherSpringer Verlag
    Pages501-508
    Number of pages8
    Volume274 LNEE
    ISBN (Print)9783642406744
    DOIs
    Publication statusPublished - 2014
    Event4th International Conference on Mobile, Ubiquitous, and Intelligent Computing, MUSIC 2013 - Gwangju, Korea, Republic of
    Duration: 2013 Sep 42013 Sep 6

    Publication series

    NameLecture Notes in Electrical Engineering
    Volume274 LNEE
    ISSN (Print)18761100
    ISSN (Electronic)18761119

    Other

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

    Keywords

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

    ASJC Scopus subject areas

    • Industrial and Manufacturing Engineering

    Fingerprint Dive into the research topics of 'A probabilistic timing constraint modeling and functional validation approach to dynamic service composition for LBS'. Together they form a unique fingerprint.

  • Cite this

    Li, W., Zhao, X., Jiang, J., Zhou, X., & Jin, Q. (2014). A probabilistic timing constraint modeling and functional validation approach to dynamic service composition for LBS. In Lecture Notes in Electrical Engineering (Vol. 274 LNEE, pp. 501-508). (Lecture Notes in Electrical Engineering; Vol. 274 LNEE). Springer Verlag. https://doi.org/10.1007/978-3-642-40675-1_75