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 language | English |
|---|---|
| Title of host publication | Lecture Notes in Electrical Engineering |
| Publisher | Springer Verlag |
| Pages | 501-508 |
| Number of pages | 8 |
| Volume | 274 LNEE |
| ISBN (Print) | 9783642406744 |
| DOIs | |
| Publication status | Published - 2014 |
| Event | 4th International Conference on Mobile, Ubiquitous, and Intelligent Computing, MUSIC 2013 - Gwangju, Korea, Republic of Duration: 2013 Sep 4 → 2013 Sep 6 |
Publication series
| Name | Lecture Notes in Electrical Engineering |
|---|---|
| Volume | 274 LNEE |
| ISSN (Print) | 18761100 |
| ISSN (Electronic) | 18761119 |
Other
| Other | 4th International Conference on Mobile, Ubiquitous, and Intelligent Computing, MUSIC 2013 |
|---|---|
| Country | Korea, Republic of |
| City | Gwangju |
| Period | 13/9/4 → 13/9/6 |
Fingerprint
Keywords
- Colors
- CP-TCPN
- Functional validation
- Modeling
- Probability
- Service composition
ASJC Scopus subject areas
- Industrial and Manufacturing Engineering
Cite this
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 proceeding › Conference contribution
}
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 -