@unpublished{eprints1261,
            year = {2012},
           title = {Contractual Testing},
          author = {Maria Grazia Buscemi and Rocco De Nicola and Hern{\'a}n C. Melgratti},
            type = {Working Paper},
     institution = {IMT Institute for Advanced Studies Lucca},
             url = {http://eprints.imtlucca.it/1261/},
        abstract = {Variants of must testing approach have been successfully applied in Service Oriented Computing for capturing compliance between (contracts exposed by) a client and a service and for characterising safe replacement, namely
the fact that compliance is preserved when a service exposing a ?smaller? contract is replaced by another one with a ?larger? contract. Nevertheless, in multi-party
interactions, partners often lack full coordination capabilities. Such a scenario calls for less discriminating notions of testing in which observers are, e.g., the
description of uncoordinated multiparty contexts or contexts that are unable to observe the complete behaviour of the process under test. In this paper we propose an extended notion of must  preorder, called contractual preorder, according to which contracts are compared according to their ability to pass only the tests belonging to a given set. We show the generality of our framework by proving that preorders induced by existing notions of compliance in a distributed setting are instances of the contractual preorder when restricting to suitable sets of observers.}
}