A Net-based Approach to Web Services Publication and Replaceability

Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether two services can be used interchangeably in any context. To this aim, our paper first briefly reviews the results contained in a recent article by the same authors, where a suitable notion of behavioural equivalence for Web services was introduced. Our work then extends those results, in order to account for ontologybased service specifications. Next, a concrete example scenario - a car rental system - is presented, and it is then used to illustrate how the equivalence between services can be fruitfully employed for correctly addressing two prominent, modularity-related problems: the publication of correct service specifications and the replaceability of (sub)services.

[1]  Katia P Sycara,et al.  Semantic Web Services with Web Ontology Language (OWL-S) - Specification of Agent-Services for DARPA Agent Markup Language (DAML) , 2006 .

[2]  Robin Milner,et al.  Deriving Bisimulation Congruences for Reactive Systems , 2000, CONCUR.

[3]  Antonio Brogi,et al.  Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study , 2008, Petri Nets.

[4]  GesbertNils,et al.  A theory of contracts for Web services , 2008 .

[5]  Vasant Honavar,et al.  On Context-Specific Substitutability of Web Services , 2007, IEEE International Conference on Web Services (ICWS 2007).

[6]  Mike P. Papazoglou,et al.  Service-Oriented Computing , 2008 .

[7]  W.M.P. van der Aalst,et al.  Analyzing BPEL processes using Petri nets , 2005 .

[8]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.

[9]  Niels Lohmann,et al.  Analyzing Interacting BPEL Processes , 2006, Business Process Management.

[10]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[11]  DumasMarlon,et al.  Formal semantics and analysis of control flow in WS-BPEL , 2007 .

[12]  Axel Martens.  On Compatibility of Web Services , 2003 .

[13]  Antonio Brogi,et al.  On the Use of Behavioural Equivalences for Web Services' Development , 2009, Fundam. Informaticae.

[14]  Ugo Montanari,et al.  Coalgebraic Models for Reactive Systems , 2007, CONCUR.

[15]  Mike P. Papazoglou,et al.  Introduction: Service-oriented computing , 2003, CACM.

[16]  Luca Padovani,et al.  A theory of contracts for Web services , 2007, TOPL.

[17]  Niels Lohmann,et al.  Operating Guidelines for Finite-State Services , 2007, ICATPN.

[18]  Thierry Jéron,et al.  On-the-fly verification of finite transition systems , 1992, Formal Methods Syst. Des..

[19]  Wolfgang Reisig,et al.  An Operating Guideline Approach to the SOA , 2005 .

[20]  MengChu Zhou,et al.  A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language , 2009, IEEE Transactions on Automation Science and Engineering.

[21]  Massimo Mecella,et al.  When are Two Web Services Compatible? , 2004, TES.

[22]  Wil M. P. van der Aalst,et al.  Formal semantics and analysis of control flow in WS-BPEL , 2007, Sci. Comput. Program..

[23]  Antonio Brogi,et al.  Behaviour-Aware Discovery of Web Service Compositions , 2007, Int. J. Web Serv. Res..

[24]  Antonio Brogi,et al.  A behavioural congruence for web services , 2007, FSEN'07.

[25]  Mathias Weske,et al.  Interaction Soundness for Service Orchestrations , 2006, ICSOC.

[26]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[27]  Cosimo Laneve,et al.  The Must Preorder Revisited , 2007, CONCUR.

[28]  Fabio Casati,et al.  Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols , 2007, ER.

[29]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[30]  Wil M.P. van der Aalst,et al.  Pi calculus versus petri nets: let us eat humble pie rather than further inflate the Pi hype , 2005 .