DocumentCode :
2078517
Title :
Dynamic Web Services Composition Based on Linear Temporal Logic
Author :
Hao, Shengang ; Zhang, Li
Author_Institution :
Dept. of Comput. & Inf. Technol., Nanyang Normal Univ., Nanyang, China
Volume :
1
fYear :
2010
fDate :
7-8 Aug. 2010
Firstpage :
362
Lastpage :
365
Abstract :
Dynamic composition of web services is a crucial aspect of web service technology, which gives us the opportunity of selecting new services and best suits we need. In this paper we discuss a technique based on linear temporal logic that solves the problem of automatic service discovery and composition. In particular, we characterize the behavior of a service in terms of a finite state machine and specify user´s requirement by a Linear Temporal Logic formula, which contributes to realizing automatic service discover and dynamic services composition.
Keywords :
Web services; finite state machines; temporal logic; automatic service composition; automatic service discovery; dynamic Web services composition; finite state machine; linear temporal logic formula; Automata; Boolean functions; Communities; Computational modeling; Encoding; Prototypes; Web services; formula parsing; linear temporal logic (LTL); service discovery; web services composition;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Science and Management Engineering (ISME), 2010 International Conference of
Conference_Location :
Xi´an
Print_ISBN :
978-1-4244-7669-5
Electronic_ISBN :
978-1-4244-7670-1
Type :
conf
DOI :
10.1109/ISME.2010.87
Filename :
5572325
Link To Document :
بازگشت