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

    Fingerprint

    Location based services
    Color
    Chemical analysis
    Real time systems

    Keywords

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

    ASJC Scopus subject areas

    • Industrial and Manufacturing Engineering

    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

    A probabilistic timing constraint modeling and functional validation approach to dynamic service composition for LBS. / Li, Weimin; Zhao, Xiaohua; Jiang, Jiulei; Zhou, Xiaokang; Jin, Qun.

    Lecture Notes in Electrical Engineering. Vol. 274 LNEE Springer Verlag, 2014. p. 501-508 (Lecture Notes in Electrical Engineering; Vol. 274 LNEE).

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

    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, Lecture Notes in Electrical Engineering, vol. 274 LNEE, Springer Verlag, pp. 501-508, 4th International Conference on Mobile, Ubiquitous, and Intelligent Computing, MUSIC 2013, Gwangju, Korea, Republic of, 13/9/4. https://doi.org/10.1007/978-3-642-40675-1_75
    Li W, Zhao X, Jiang J, Zhou X, Jin Q. A probabilistic timing constraint modeling and functional validation approach to dynamic service composition for LBS. In Lecture Notes in Electrical Engineering. Vol. 274 LNEE. Springer Verlag. 2014. p. 501-508. (Lecture Notes in Electrical Engineering). https://doi.org/10.1007/978-3-642-40675-1_75
    Li, Weimin ; Zhao, Xiaohua ; Jiang, Jiulei ; Zhou, Xiaokang ; Jin, Qun. / A probabilistic timing constraint modeling and functional validation approach to dynamic service composition for LBS. Lecture Notes in Electrical Engineering. Vol. 274 LNEE Springer Verlag, 2014. pp. 501-508 (Lecture Notes in Electrical Engineering).
    @inproceedings{a0d9fd8a66aa47b085fcfc5b3a18779b,
    title = "A probabilistic timing constraint modeling and functional validation approach to dynamic service composition for LBS",
    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.",
    keywords = "Colors, CP-TCPN, Functional validation, Modeling, Probability, Service composition",
    author = "Weimin Li and Xiaohua Zhao and Jiulei Jiang and Xiaokang Zhou and Qun Jin",
    year = "2014",
    doi = "10.1007/978-3-642-40675-1_75",
    language = "English",
    isbn = "9783642406744",
    volume = "274 LNEE",
    series = "Lecture Notes in Electrical Engineering",
    publisher = "Springer Verlag",
    pages = "501--508",
    booktitle = "Lecture Notes in Electrical Engineering",

    }

    TY - GEN

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

    AU - Li, Weimin

    AU - Zhao, Xiaohua

    AU - Jiang, Jiulei

    AU - Zhou, Xiaokang

    AU - Jin, Qun

    PY - 2014

    Y1 - 2014

    N2 - 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.

    AB - 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.

    KW - Colors

    KW - CP-TCPN

    KW - Functional validation

    KW - Modeling

    KW - Probability

    KW - Service composition

    UR - http://www.scopus.com/inward/record.url?scp=84958533979&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=84958533979&partnerID=8YFLogxK

    U2 - 10.1007/978-3-642-40675-1_75

    DO - 10.1007/978-3-642-40675-1_75

    M3 - Conference contribution

    AN - SCOPUS:84958533979

    SN - 9783642406744

    VL - 274 LNEE

    T3 - Lecture Notes in Electrical Engineering

    SP - 501

    EP - 508

    BT - Lecture Notes in Electrical Engineering

    PB - Springer Verlag

    ER -