Algebraic Structure of Web Services

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:

• Algebraic Structure of Web Services (Report in PDF)

• README file (as txt)

• WebServices (main Haskell module)
• WebServices based on traces (alternative Haskell module)
• Business Trip example