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

doi:10.1007/978-3-642-40675-1_75

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 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	https://doi.org/10.1007/978-3-642-40675-1_75
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

Keywords

Colors
CP-TCPN
Functional validation
Modeling
Probability
Service composition

ASJC Scopus subject areas

Industrial and Manufacturing Engineering

Access to Document

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

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

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

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

@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",

}

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

T2 - 4th International Conference on Mobile, Ubiquitous, and Intelligent Computing, MUSIC 2013

Y2 - 4 September 2013 through 6 September 2013

ER -