DocumentCode
2728522
Title
A New Approach to Describe Web Services
Author
Wang, Hongbing ; Liu, Hui ; Wang, Chen ; Hung, Patrick
fYear
2007
fDate
2-5 Nov. 2007
Firstpage
568
Lastpage
571
Abstract
This paper is based on the theory of Finite State Automata (FSA´s), models a web service as a FSA, extends WSDL for conceptually describing the behaviors of Web services, and introduces the concept of Temporal Logic of Actions (short for TLA) to describe and specify the behavior of a service in a formal way.
Keywords
Automata; Computer science; Debugging; Information technology; Law; Legal factors; Logic; Paper technology; Security; Web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Web Intelligence, IEEE/WIC/ACM International Conference on
Conference_Location
Fremont, CA
Print_ISBN
978-0-7695-3026-0
Type
conf
DOI
10.1109/WI.2007.50
Filename
4427154
Link To Document