Dynamic Web Services Composition Based on Linear Temporal Logic
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 users requirement by a Linear Temporal Logic formula, which contributes to realizing automatic service discover and dynamic services composition.
web services composition linear temporal logic (LTL) service discovery formula parsing
Shengang Hao Li Zhang
Department of Computer and Information Technology Nanyang Normal University Henan Nanyang, China
国际会议
西安
英文
362-365
2010-08-07（万方平台首次上网日期，不代表论文的发表时间）