Algebraic Structure of Web Services

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.

[1]  C. A. R. Hoare,et al.  Communicating sequential processes , 1983, CACM.

[2]  Jean Jacques Moreau,et al.  SOAP Version 1. 2 Part 1: Messaging Framework , 2003 .

[3]  Dexter Kozen.  A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events , 1994, Inf. Comput..

[4]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[5]  Dexter Kozen,et al.  Kleene algebra with tests , 1997, TOPL.

[6]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[7]  Georg Struth,et al.  Termination in Modal Kleene Algebra , 2004, IFIP TCS.

[8]  Peep Küngas,et al.  Distributed Agent-Based Web Service Selection, Composition and Analysis through Partial Deduction , 2006 .

[9]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[10]  Jules Desharnais,et al.  Modal Kleene algebra and applications - a survey , 2004 .

[11]  Georg Struth,et al.  Wp is wip , 2006 .

[12]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[13]  Vasant Honavar,et al.  Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements , 2006, ICSOC.

[14]  André Arnold,et al.  Finite transition systems , 1994 .

[15]  Gunther Schmidt,et al.  Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .

[16]  J. Conway.  Regular algebra and finite machines , 1971 .

[17]  U. Hebisch,et al.  Semirings: Algebraic Theory and Applications in Computer Science , 1998 .

[18]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[19]  Natalya Keberle,et al.  Proactively Composing Web Services as Tasks by Semantic Web Agents , 2007 .

[20]  Georg Struth,et al.  wp Is wlp , 2005 .

[21]  Amit P. Sheth,et al.  Composing Semantic Web services with Interaction Protocols , 2006 .

[22]  Roberto Chinnici,et al.  Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2007 .

[23]  Donald M. Kaplan,et al.  Regular Expressions and the Equivalence of Programs , 1969, J. Comput. Syst. Sci..

[24]  Georg Struth,et al.  Kleene algebra with domain , 2003, TOCL.

[25]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[26]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.