A New Approach to Describe Web Services

  • Authors:

  • Hongbing Wang;Hui Liu;Chen Wang;Patrick Hung

  • Affiliations:

  • -;-;-;-

  • Venue:
  • WI '07 Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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.