@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",
note = "4th International Conference on Mobile, Ubiquitous, and Intelligent Computing, MUSIC 2013 ; Conference date: 04-09-2013 Through 06-09-2013",
}