Multiparty testing preorders

DOI10.1007/978-3-319-28766-9_2MaRDI QIDQ5857791zbMATH OpenOpenAlexFDO

Authors Rocco De Nicola, Hernan Melgratti

Publication date 7 April 2021

Published in Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1612.03191

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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 individualistic, 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 individualistic 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 individualistic one is described in terms of classes of filtered traces that only contain designated visible actions and must-sets.

Recommendations

• Mutually testing processes (extended abstract)
• Mutually testing processes
• The Must Preorder Revisited
• Contract Based Multi-party Service Composition
• Testing probabilistic automata

Cited in

(6)

• An abstract framework for choreographic testing
• Mutually testing processes (extended abstract)
• An abstract framework for choreographic testing
• Multiparty testing preorders
• Mutually testing processes
• Relating fair testing and accordance for service replaceability

This page was built for publication: Multiparty testing preorders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5857791)