Navegar

Colección

Datos Estadísticas

Artículo

De Nicola, R.; Melgratti, H.; Ganty P.; Loreti M. "Multiparty testing preorders" (2016) 10th International Symposium on Trustworthy Global Computing, TGC 2015. 9533:16-31
El editor solo permite decargar el artículo en su versión post-print desde el repositorio. Por favor, si usted posee dicha versión, enviela a
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

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. © Springer International Publishing Switzerland 2016.

Registro:

Documento: Artículo
Título:Multiparty testing preorders
Autor:De Nicola, R.; Melgratti, H.; Ganty P.; Loreti M.
Filiación:IMT, Institute for Advanced Studies, Lucca, Italy
FCEyN, University of Buenos Aires, Buenos Aires, Argentina
Palabras clave:Artificial intelligence; Computers; Mazurkiewicz traces; Preorders; Service oriented computing; Distributed computer systems
Año:2016
Volumen:9533
Página de inicio:16
Página de fin:31
DOI: http://dx.doi.org/10.1007/978-3-319-28766-9_2
Título revista:10th International Symposium on Trustworthy Global Computing, TGC 2015
Título revista abreviado:Lect. Notes Comput. Sci.
ISSN:03029743
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v9533_n_p16_DeNicola

Referencias:

  • Basu, S., Bultan, T., Ouederni, M., Deciding choreography realizability (2012) ACM SIGPLAN Notices, 47, pp. 191-202. , ACM
  • Bernardi, G., Hennessy, M., Mutually testing processes (2013) CONCUR 2013–Concurrency Theory. LNCS, 8052, pp. 61-75. , In: D’Argenio, P.R., Melgratti, H. (eds.), Springer, Heidelberg
  • Bravetti, M., Zavattaro, G., Towards a unifying theory for choreography conformance and contract compliance (2007) SC 2007. LNCS, 4829, pp. 34-50. , In: Lumpe, M., Vanderperren, W. (eds.), Springer, Heidelberg
  • Bravetti, M., Zavattaro, G., A foundational theory of contracts for multi-party service composition (2008) Fundam. Informaticae, 89 (4), pp. 451-478
  • Castagna, G., Gesbert, N., Padovani, L., A theory of contracts for web services (2008) POPL, pp. 261-272
  • Castagna, G., Gesbert, N., Padovani, L., A theory of contracts for web services (2009) ACM Trans. Program. Lang. Syst, 31 (5), pp. 1-61
  • De Nicola, R., Hennessy, M., Testing equivalences for processes (1984) Theor. Comput. Sci, 34, pp. 83-133
  • Honda, K., Vasconcelos, V.T., Kubo, M., Language primitives and type discipline for structured communication-based programming (1998) ESOP 1998. LNCS, 1381, pp. 122-138. , In: Hankin, C. (ed.), Springer, Heidelberg
  • Laneve, C., Padovani, L., The Must preorder revisited (2007) CONCUR 2007. LNCS, 4703, pp. 212-225. , In: Caires, L., Vasconcelos, V.T. (eds.), Springer, Heidelberg
  • Mazurkiewicz, A., Trace theory (1986) Petri Nets: Applications and Relationships to Other Models of Concurrency. LNCS, 255, pp. 278-324. , In: Brauer, W., Reisig, W., Rozenberg, G. (eds.), Springer, Heidelberg
  • Mazurkiewicz, A.W., Introduction to trace theory (1995) The Book of Traces, pp. 3-41
  • Milner, R., (1989) Communication and Concurrency, , Prentice Hall International, Hertfordshire
  • Mostrous, D., Yoshida, N., Honda, K., Global principal typing in partially commutative asynchronous sessions (2009) ESOP 2009. LNCS, 5502, pp. 316-332. , In: Castagna, G. (ed.), Springer, Heidelberg
  • Padovani, L., Contract-based discovery of web services modulo simple orchestrators. (2010) Theoret. Comput. Sci, 411 (37), pp. 3328-3347
  • Padovani, L., Fair subtyping for multi-party session types (2011) COORDINATION 2011. LNCS, 6721, pp. 127-141. , In: De Meuter, W., Roman, G.-C. (eds.), Springer, Heidelberg
  • Takeuchi, K., Honda, K., Kubo, M., An interaction-based language and its typing system (1994) PARLE 1994. LNCS, 817, pp. 398-413. , In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.), Springer, HeidelbergA4 -

Citas:

---------- APA ----------
De Nicola, R., Melgratti, H., Ganty P. & Loreti M. (2016) . Multiparty testing preorders. 10th International Symposium on Trustworthy Global Computing, TGC 2015, 9533, 16-31.
http://dx.doi.org/10.1007/978-3-319-28766-9_2
---------- CHICAGO ----------
De Nicola, R., Melgratti, H., Ganty P., Loreti M. "Multiparty testing preorders" . 10th International Symposium on Trustworthy Global Computing, TGC 2015 9533 (2016) : 16-31.
http://dx.doi.org/10.1007/978-3-319-28766-9_2
---------- MLA ----------
De Nicola, R., Melgratti, H., Ganty P., Loreti M. "Multiparty testing preorders" . 10th International Symposium on Trustworthy Global Computing, TGC 2015, vol. 9533, 2016, pp. 16-31.
http://dx.doi.org/10.1007/978-3-319-28766-9_2
---------- VANCOUVER ----------
De Nicola, R., Melgratti, H., Ganty P., Loreti M. Multiparty testing preorders. Lect. Notes Comput. Sci. 2016;9533:16-31.
http://dx.doi.org/10.1007/978-3-319-28766-9_2