R�sum�

La pr�sente annexe contient la motivation, donne un aper�u g�n�ral de la structure de s�mantique et pr�sente une introduction au formalisme d'automate abstrait � �tats finis (ASM, abstract state machine) qui est utilis� pour d�finir la s�mantique SDL.