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.