Algebraic Structure of Web Services

Authors:
Peter Höfner;Florian Lautenbacher
Affiliations:
Institute of Computer Science, University of Augsburg, Germany;Institute of Computer Science, University of Augsburg, Germany
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 9
Cited 1

Relations and graphs: discrete mathematics for computer scientists

Relations and graphs: discrete mathematics for computer scientists
A completeness theorem for Kleene algebras and the algebra of regular events

Papers presented at the IEEE symposium on Logic in computer science
Kleene algebra with tests

ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes

Communications of the ACM - Special 25th Anniversary Issue
A Calculus of Communicating Systems

A Calculus of Communicating Systems
A Petri net-based model for web service composition

ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Kleene algebra with domain

ACM Transactions on Computational Logic (TOCL)
Modeling web services by iterative reformulation of functional and non-functional requirements

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
wp Is wlp

RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra

Service net algebra based on logic Petri nets

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

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.