eprintid: 3560 rev_number: 6 eprint_status: archive userid: 69 dir: disk0/00/00/35/60 datestamp: 2016-10-06 09:14:53 lastmod: 2016-10-06 09:16:01 status_changed: 2016-10-06 09:14:53 type: book_section metadata_visibility: show creators_name: De Nicola, Rocco creators_name: Melgratti, Hernán creators_id: r.denicola@imtlucca.it creators_id: title: Multiparty Testing Preorders ispublished: pub subjects: QA75 divisions: CSA full_text_status: none note: SCOPUS ID: 2-s2.0-84955302044 abstract: Variants of the must testing approach have been successfully applied in Service Oriented Computing for analysing the compliance between (contracts exposed by) clients and servers or, more generally, between two peers. It has however been argued that multiparty scenarios call for more permissive notions of compliance because partners usually do not have full coordination capabilities. We propose two new testing preorders, which are obtained by restricting the set of potential observers. For the first preorder, called uncoordinated, we allow only sets of parallel observers that use different parts of the interface of a given service and have no possibility of intercommunication. For the second preorder, that we call independent, we instead rely on parallel observers that perceive as silent all the actions that are not in the interface of interest. We have that the uncoordinated preorder is coarser than the classical must testing preorder and finer than the independent one. We also provide a characterisation in terms of decorated traces for both preorders: the uncoordinated preorder is defined in terms of must-sets and Mazurkiewicz traces while the independent one is described in terms of must-sets and classes of filtered traces that only contain designated visible actions. date: 2016 date_type: published series: Lecture Notes in Computer Science number: 9533 publisher: Springer International Publishing place_of_pub: Cham pagerange: 16-31 pages: 15 id_number: 10.1007/978-3-319-28766-9_2 refereed: TRUE isbn: 978-3-319-28766-9 book_title: Trustworthy Global Computing. 0th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers official_url: http://dx.doi.org/10.1007/978-3-319-28766-9_2 citation: De Nicola, Rocco and Melgratti, Hernán Multiparty Testing Preorders. In: Trustworthy Global Computing. 0th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers. Lecture Notes in Computer Science (9533). Springer International Publishing, Cham, pp. 16-31. ISBN 978-3-319-28766-9 (2016)