Title :
A New Approach to Describe Web Services
Author :
Wang, Hongbing ; Liu, Hui ; Wang, Chen ; Hung, Patrick
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;
Conference_Titel :
Web Intelligence, IEEE/WIC/ACM International Conference on
Conference_Location :
Fremont, CA
Print_ISBN :
978-0-7695-3026-0
