next up previous

Final Report of the COST-247 Action

Implementation relations for Transition System Specifications

Jan Tretmans

Tele-Informatics and Open Systems Group
Department of Computer Science
University of Twente
P.O. Box 217
7500 AE Enschede, The Netherlands
tel: +31 53 489 4287
fax: +31 53 489 3247


Implementation relations, formalizing the notion of correctness of implementations with respect to specifications, are presented for labelled transition systems. Starting from the well-known principles of testing equivalence and refusal testing for transition systems, analogous ideas are applied to transition systems in which the actions can be partitioned into inputs and outputs, and where inputs are always enabled. This leads to a simplification of the testing theory. The relations with the theories of Input/Output Automata and Input-Output State Machines is indicated.

This presentation has been given during the COST-247 7th Management Committee Meeting (Madrid, Spain, February, 12--13, 1995).

COST-247 Working Group(s): 1

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page