Compliance and Testing Preorders Differ

Contracts play an essential role in the Service Oriented Computing, for which they need to be equipped with a sub-contract relation. We compare two possible formulations, one based on compliance and the other on the testing theory of De Nicola and Hennessy. We show that if the language of contracts is sufficiently expressive then the resulting sub-contract relations are incomparable. However if we put natural restrictions on the contract language then the sub-contract relations coincide, at least when applied to servers. But when formulated for clients they remain incomparable, for many reasonable contract languages. Finally we give one example of a contract language for which the client-based sub-contract relations coincide.

[1]  Matthew Hennessy,et al.  Mutually Testing Processes - (Extended Abstract) , 2013, CONCUR.

[2]  Giovanni Bernardi Behavioural equivalences for web services , 2013 .

[3]  Luca Padovani Contract-Based Discovery and Adaptation of Web Services , 2009, SFM.

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

[5]  Kohei Honda,et al.  An Interaction-based Language and its Typing System , 1994, PARLE.

[6]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[7]  Frank Piessens,et al.  A programming model for concurrent object-oriented programs , 2008, TOPL.

[8]  Rance Cleaveland,et al.  Testing equivalence as a bisimulation equivalence , 1989, Formal Aspects of Computing.

[9]  Cosimo Laneve,et al.  A Formal Account of Contracts for Web Services , 2006, WS-FM.

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

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

[12]  Luca Padovani,et al.  Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures , 2009 .

[13]  Matthew Hennessy,et al.  Process Behaviour: Formulae vs. Tests (Extended Abstract) , 2010, EXPRESS.

[14]  Simon J. Gay,et al.  Subtyping for session types in the pi calculus , 2005, Acta Informatica.

[15]  Ugo de'Liguoro,et al.  Two notions of sub-behaviour for session-based client/server systems , 2010, PPDP.

[16]  Matthew Hennessy,et al.  Modelling session types using contracts , 2012, SAC '12.

[17]  Michele Bugliesi,et al.  Compliance Preorders for Web Services , 2009, WS-FM.

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

[19]  Luca Padovani Contract-based discovery of Web services modulo simple orchestrators , 2010, Theor. Comput. Sci..