Multiparty testing preorders

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 noti...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	De Nicola, R., Melgratti, H., Ganty P., Loreti M.
Formato:	SER
Materias:	Artificial intelligence Computers Mazurkiewicz traces Preorders Service oriented computing Distributed computer systems
Acceso en línea:	http://hdl.handle.net/20.500.12110/paper_03029743_v9533_n_p16_DeNicola
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	todo:paper_03029743_v9533_n_p16_DeNicola
record_format	dspace
spelling	todo:paper_03029743_v9533_n_p16_DeNicola2023-10-03T15:19:41Z Multiparty testing preorders De Nicola, R. Melgratti, H. Ganty P. Loreti M. Artificial intelligence Computers Mazurkiewicz traces Preorders Service oriented computing Distributed computer systems 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. © Springer International Publishing Switzerland 2016. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_03029743_v9533_n_p16_DeNicola
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	Artificial intelligence Computers Mazurkiewicz traces Preorders Service oriented computing Distributed computer systems
spellingShingle	Artificial intelligence Computers Mazurkiewicz traces Preorders Service oriented computing Distributed computer systems De Nicola, R. Melgratti, H. Ganty P. Loreti M. Multiparty testing preorders
topic_facet	Artificial intelligence Computers Mazurkiewicz traces Preorders Service oriented computing Distributed computer systems
description	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. © Springer International Publishing Switzerland 2016.
format	SER
author	De Nicola, R. Melgratti, H. Ganty P. Loreti M.
author_facet	De Nicola, R. Melgratti, H. Ganty P. Loreti M.
author_sort	De Nicola, R.
title	Multiparty testing preorders
title_short	Multiparty testing preorders
title_full	Multiparty testing preorders
title_fullStr	Multiparty testing preorders
title_full_unstemmed	Multiparty testing preorders
title_sort	multiparty testing preorders
url	http://hdl.handle.net/20.500.12110/paper_03029743_v9533_n_p16_DeNicola
work_keys_str_mv	AT denicolar multipartytestingpreorders AT melgrattih multipartytestingpreorders AT gantyp multipartytestingpreorders AT loretim multipartytestingpreorders
_version_	1807323651272343552

Multiparty testing preorders

Ejemplares similares