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 proceeding › Conference 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 4 → 2013 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/4 → 13/9/6

    Keywords

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

    ASJC Scopus subject areas

    • Industrial and Manufacturing Engineering

    Access to Document

    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