Algebraic Structure of Web Services
P. Höfner, F. Lautenbacher
2007-12
in: Universität Augsburg
Technical Report, Institute of Computer Science, University of Augsburg, February 2008
Abstract:
The Service-Oriented Architecture is gaining more and more attention
and one way of realising it is the usage of Web Services. But which
Web Services need to be invoked to reach a goal and which parameters
are necessary at the beginning or are returned at the end? In this
report we present an algebraic structure of Web Services in order to
formally describe the Web Services and assist the users in Web Service
composition. Hence, we apply relation algebra, tests, Kleene star
and modal operators to characterise Web Services and Web Service Composition.
Downloads: