Compliance and Testing Preorders Differ [chapter]

Giovanni Bernardi, Matthew Hennessy
2014 Lecture Notes in Computer Science  
Contracts play an essential role in the Service Oriented Computing, for which they need to be equiped 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 subcontract relations are incomparable. However if we put natural restrictions on the contract language then the sub-contract relations coincide, at least
more » ... 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. * Research supported by SFI project SFI 06 IN.1 1898.
doi:10.1007/978-3-319-05032-4_6 fatcat:nn53fwoww5f6lj627kit4fuf74