A New Approach to Describe Web Services.

Hongbing Wang,Hui Liu,Chen Wang,Patrick C. K. Hung
DOI: https://doi.org/10.1109/WI.2007.50
2007-01-01
Web Intelligence
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.
What problem does this paper attempt to address?