Probability modeling and functional validation of dynamic service composition for location based services with uncertain factors

Weimin Li, Zhengbo Ye, Xiaohua Zhao, Jiulei Jiang, Qun Jin

    Research output: Contribution to journalArticle

    1 Citation (Scopus)

    Abstract

    In the Internet of Things (IoT) environment, real-time servers run with many uncertain factors. The modeling and validation for the dynamic service composition of location based services (LBS) in the IoT environment are essential, but it is difficult to consider these uncertain factors. In this paper, after analyzing the advantage and shortage of traditional modeling methods, with the introduction of probability, we propose a Color Probability-TCPN (CP-TCPN) by using the tokens with specific colors. The analysis and functional validation methods based on CP-TCPN are proposed and described. After using it to model and analyze the LBS based in the IoT environment, we demonstrate the result which indicates the CP-TCPN based approach can satisfy the modeling and analysis of the IoT based real-time system with uncertain factors.

    Original languageEnglish
    Pages (from-to)635-643
    Number of pages9
    JournalJournal of Internet Technology
    Volume15
    Issue number4
    DOIs
    Publication statusPublished - 2014

    Fingerprint

    Location based services
    Color
    Chemical analysis
    Real time systems
    Servers
    Internet of things

    Keywords

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

    ASJC Scopus subject areas

    • Computer Networks and Communications
    • Software

    Cite this

    Probability modeling and functional validation of dynamic service composition for location based services with uncertain factors. / Li, Weimin; Ye, Zhengbo; Zhao, Xiaohua; Jiang, Jiulei; Jin, Qun.

    In: Journal of Internet Technology, Vol. 15, No. 4, 2014, p. 635-643.

    Research output: Contribution to journalArticle

    @article{4b0b55af2db940a9b3a5fa49d5501e08,
    title = "Probability modeling and functional validation of dynamic service composition for location based services with uncertain factors",
    abstract = "In the Internet of Things (IoT) environment, real-time servers run with many uncertain factors. The modeling and validation for the dynamic service composition of location based services (LBS) in the IoT environment are essential, but it is difficult to consider these uncertain factors. In this paper, after analyzing the advantage and shortage of traditional modeling methods, with the introduction of probability, we propose a Color Probability-TCPN (CP-TCPN) by using the tokens with specific colors. The analysis and functional validation methods based on CP-TCPN are proposed and described. After using it to model and analyze the LBS based in the IoT environment, we demonstrate the result which indicates the CP-TCPN based approach can satisfy the modeling and analysis of the IoT based real-time system with uncertain factors.",
    keywords = "Colors service composition, CP-TCPN, Functional validation, Modeling, Probability",
    author = "Weimin Li and Zhengbo Ye and Xiaohua Zhao and Jiulei Jiang and Qun Jin",
    year = "2014",
    doi = "10.6138/JIT.2014.15.4.13",
    language = "English",
    volume = "15",
    pages = "635--643",
    journal = "Journal of Internet Technology",
    issn = "1607-9264",
    publisher = "Taiwan Academic Network Management Committee",
    number = "4",

    }

    TY - JOUR

    T1 - Probability modeling and functional validation of dynamic service composition for location based services with uncertain factors

    AU - Li, Weimin

    AU - Ye, Zhengbo

    AU - Zhao, Xiaohua

    AU - Jiang, Jiulei

    AU - Jin, Qun

    PY - 2014

    Y1 - 2014

    N2 - In the Internet of Things (IoT) environment, real-time servers run with many uncertain factors. The modeling and validation for the dynamic service composition of location based services (LBS) in the IoT environment are essential, but it is difficult to consider these uncertain factors. In this paper, after analyzing the advantage and shortage of traditional modeling methods, with the introduction of probability, we propose a Color Probability-TCPN (CP-TCPN) by using the tokens with specific colors. The analysis and functional validation methods based on CP-TCPN are proposed and described. After using it to model and analyze the LBS based in the IoT environment, we demonstrate the result which indicates the CP-TCPN based approach can satisfy the modeling and analysis of the IoT based real-time system with uncertain factors.

    AB - In the Internet of Things (IoT) environment, real-time servers run with many uncertain factors. The modeling and validation for the dynamic service composition of location based services (LBS) in the IoT environment are essential, but it is difficult to consider these uncertain factors. In this paper, after analyzing the advantage and shortage of traditional modeling methods, with the introduction of probability, we propose a Color Probability-TCPN (CP-TCPN) by using the tokens with specific colors. The analysis and functional validation methods based on CP-TCPN are proposed and described. After using it to model and analyze the LBS based in the IoT environment, we demonstrate the result which indicates the CP-TCPN based approach can satisfy the modeling and analysis of the IoT based real-time system with uncertain factors.

    KW - Colors service composition

    KW - CP-TCPN

    KW - Functional validation

    KW - Modeling

    KW - Probability

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

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

    U2 - 10.6138/JIT.2014.15.4.13

    DO - 10.6138/JIT.2014.15.4.13

    M3 - Article

    VL - 15

    SP - 635

    EP - 643

    JO - Journal of Internet Technology

    JF - Journal of Internet Technology

    SN - 1607-9264

    IS - 4

    ER -