Algebraic Structure of Web Services
P. Höfner, F. Lautenbacher
2007-12in: 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.