Title :
Specify and Compose Web Services by TLA
Author :
Wang, Hongbing ; Liu, Hui ; Guo, Xiaohui
Author_Institution :
Sch. of Comput. Sci. & Eng., Southeast Univ., Nanjing
Abstract :
This paper introduces the concept of temporal logic of actions (short for TLA), with which we can formally specify the behavior of a service, and compose Web services. The approach is demonstrated by an example. A services composition algorithm is presented.
Keywords :
Web services; temporal logic; Web services; services composition algorithm; temporal logic of actions; Computer science; Explosions; Formal specifications; Law; Legal factors; Logic; Proposals; Real time systems; Tin; Web services; TLA; Web services; algorithm;
Conference_Titel :
Web Services, 2008. ICWS '08. IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-0-7695-3310-0
Electronic_ISBN :
978-0-7695-3310-0
DOI :
10.1109/ICWS.2008.72
