<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Contractual Testing"^^ . "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\r\nthe 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\r\ninteractions, partners often lack full coordination capabilities. Such a scenario calls for less discriminating notions of testing in which observers are, e.g., the\r\ndescription 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."^^ . "2012" . . " " . . . . . . . . . . . . "Maria Grazia"^^ . "Buscemi"^^ . "Maria Grazia Buscemi"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Hernán C."^^ . "Melgratti"^^ . "Hernán C. Melgratti"^^ . . . . . . "Contractual Testing (PDF)"^^ . . . "WP_2012.pdf"^^ . . . "Contractual Testing (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Contractual Testing (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Contractual Testing (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Contractual Testing (Other)"^^ . . . . . . "small.jpg"^^ . . . "Contractual Testing (Other)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #1261 \n\nContractual Testing\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .