Relating fair testing and accordance for service replaceability

A.J. Mooij, C. Stahl, M. Voorhoeve

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

17 Citaten (Scopus)


The accordance pre-order describes whether a service can safely be replaced by another service. That is, all partners for the original service should be partners for the new service. Partners for a service interact with the service in such a way that always a certain common goal can be reached. We relate the accordance pre-order to the pre-orders known from the linear–branching time spectrum, notably fair testing. The differences between accordance and fair testing include the modeling of termination and success, and the parts of the services that cannot be used reliably by any partner. Apart from the theoretical results, we address the practical relevance of the introduced concepts.
Originele taal-2Engels
Pagina's (van-tot)233-244
TijdschriftJournal of Logic and Algebraic Programming
Nummer van het tijdschrift3-5
StatusGepubliceerd - 2010


Duik in de onderzoeksthema's van 'Relating fair testing and accordance for service replaceability'. Samen vormen ze een unieke vingerafdruk.

Citeer dit