Giovanni Bernardi ; Matthew Hennessy - Mutually Testing Processes

lmcs:776 - Logical Methods in Computer Science, April 14, 2015, Volume 11, Issue 2 -
Mutually Testing Processes

Authors: Giovanni Bernardi ; Matthew Hennessy

    In the standard testing theory of DeNicola-Hennessy one process is considered to be a refinement of another if every test guaranteed by the former is also guaranteed by the latter. In the domain of web services this has been recast, with processes viewed as servers and tests as clients. In this way the standard refinement preorder between servers is determined by their ability to satisfy clients. But in this setting there is also a natural refinement preorder between clients, determined by their ability to be satisfied by servers. In more general settings where there is no distinction between clients and servers, but all processes are peers, there is a further refinement preorder based on the mutual satisfaction of peers. We give a uniform account of these three preorders. In particular we give two characterisations. The first is behavioural, in terms of traces and ready sets. The second, for finite processes, is equational.

    Volume: Volume 11, Issue 2
    Published on: April 14, 2015
    Accepted on: June 25, 2015
    Submitted on: December 11, 2013
    Keywords: Computer Science - Logic in Computer Science

    Linked data

    Source : ScholeXplorer IsReferencedBy DOI 10.1007/978-3-030-21485-2_10
    • 10.1007/978-3-030-21485-2_10
    • 10.1007/978-3-030-21485-2_10
    Testing for Coordination Fidelity.
    Alrahman, Yehia Abd ; Mezzina, Claudio Antares ; Vieira, Hugo Torres ;

    8 Documents citing this article


    Consultation statistics

    This page has been seen 523 times.
    This article's PDF has been downloaded 336 times.