Deciding Substitutability of Services with Operating Guidelines

Deciding whether a service S can be substituted by another service S *** is an important problem in practice and one of the research challenges in service-oriented computing. In this paper, we define three substitutability notions for services. Accordance specifies that S *** cooperates with at least the environments that S cooperates with. S and S *** are equivalent if they cooperate with the same environments. To guarantee that S *** cooperates with a fixed subset of environments that S cooperates with, the notion of restriction can be used. For each substitutability notion we present a decision algorithm. To this end we apply the concept of an operating guideline of a service as an abstract representation of all environments the service cooperates with.

[1]  Erich J. Neuhold,et al.  Matchmaking for Business Processes Based on Choreographies , 2004, Int. J. Web Serv. Res..

[2]  Mario Bravetti,et al.  A Theory for Strong Service Compliance , 2007, COORDINATION.

[3]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

[4]  Manfred Broy,et al.  Model-Based Testing of Reactive Systems, Advanced Lectures , 2005 .

[5]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[6]  Thomas A. Henzinger,et al.  Web service interfaces , 2005, WWW '05.

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

[8]  Pavlína Vareková,et al.  Component Substitutability via Equivalencies of Component-Interaction Automata , 2007, FACS.

[9]  Wil M. P. van der Aalst,et al.  Multiparty Contracts: Agreeing and Implementing Interorganizational Processes , 2010, Comput. J..

[10]  Roberto Gorrieri,et al.  Choreography and Orchestration: A Synergic Approach for System Design , 2005, ICSOC.

[11]  Sagar Chaki,et al.  Dynamic Component Substitutability Analysis , 2005, FM.

[12]  Andrew D. Gordon,et al.  Verified Reference Implementations of WS-Security Protocols , 2006, WS-FM.

[13]  Jorg Desel,et al.  Enterprise Modelling and Information Systems Architectures , 2005 .

[14]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[15]  Wil M. P. van der Aalst,et al.  From Public Views to Private Views - Correctness-by-Design for Services , 2007, WS-FM.

[16]  Rocco De Nicola,et al.  Testing Equivalences for Processes , 1984, Theor. Comput. Sci..

[17]  J. Bergstra,et al.  Handbook of Process Algebra , 2001 .

[18]  Fabio Casati,et al.  Technologies for E-Services , 2001, Lecture Notes in Computer Science.

[19]  Jetty Kleijn,et al.  Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings , 2007, ICATPN.

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

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

[22]  Mike P. Papazoglou,et al.  Web Services - Principles and Technology , 2007 .

[23]  Gianfranco Balbo,et al.  Application and Theory of Petri Nets 1997 , 1997 .

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

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

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

[27]  Ekkart Kindler,et al.  A Compositional Partial Order Semantics for Petri Net Components , 1997, ICATPN.

[28]  Fabio Casati,et al.  Representing, analysing and managing Web service protocols , 2006, Data Knowl. Eng..

[29]  Karsten Wolf,et al.  Operating guidelines - an automata-theoretic foundation for the service-oriented architecture , 2005, Fifth International Conference on Quality Software (QSIC'05).

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

[31]  Karsten Wolf.  Controllability of Open Workflow Nets , 2005, EMISA.

[32]  David Maier,et al.  Review of "Introduction to automata theory, languages and computation" by John E. Hopcroft and Jeffrey D. Ullman. Addison-Wesley 1979. , 1980, SIGA.

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

[34]  Stefan D. Bruda.  Preorder Relations , 2004, Model-Based Testing of Reactive Systems.

[35]  Farhad Arbab,et al.  International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings , 2007, FSEN.

[36]  Mathias Weske,et al.  Behavioral Consistency for B2B Process Integration , 2007, CAiSE.

[37]  Paolo Traverso,et al.  05462 Service-Oriented Computing: A Research Roadmap , 2005, Service Oriented Computing.

[38]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[39]  Walter Vogler,et al.  Modular Construction and Partial Order Semantics of Petri Nets , 1992, Lecture Notes in Computer Science.

[40]  Wil M. P. van der Aalst,et al.  Inheritance of behavior , 2001, J. Log. Algebraic Methods Program..

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

[42]  Niels Lohmann,et al.  Behavioral Constraints for Services , 2007, BPM.

[43]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[44]  Natalia Sidorova,et al.  Can I find a partner? Undecidability of partner existence for open nets , 2008, Inf. Process. Lett..

[45]  Karsten Wolf,et al.  An algorithm for matching non-deterministic services with operating guidelines , 2006, Int. J. Bus. Process. Integr. Manag..

[46]  R. V. Glabbeek.  The Linear Time-Branching Time Spectrum I The Semantics of Concrete , Sequential ProcessesR , 2007 .

[47]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[48]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[49]  Mario Bravetti,et al.  Contract based multi-party service composition , 2007, FSEN'07.

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

[51]  Bengt Holmstrom,et al.  The Theory of Contracts , 1986 .

[52]  C. A. R. Hoare,et al.  Stuck-Free Conformance , 2004, CAV.

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

[54]  Paolo Traverso,et al.  Service-Oriented Computing: a Research Roadmap , 2008, Int. J. Cooperative Inf. Syst..

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

[56]  Jakob Rehof,et al.  Zing: A Model Checker for Concurrent Software , 2004, CAV.