Algebraic Structure of Web Services

erschienen 2008 in D. Ballis, S. Escobar, M. Marchiori (eds.):
3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV 2007), ENTCS
volume 200(3), pp. 171-187, 2008.

Abstract:
Web Services and Service-Oriented Architecture in general are promising concepts to overcome difficulties such as heterogeneity, scalability, etc. In this paper we present an algebraic structure of Web Services which assist users in Web Service composition and formal description of their services. Using relation algebra, tests and iteration offer the possibility of an automatic composition of Web Services based on a specified goal.