A New Approach to Describe Web Services
Hongbing Wang, Hui Liu, Chen Wang, Patrick C. K. Hung · 2007
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.