|Final Report of the COST-247 Action|
Implementation relations for Transition System Specifications
|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.