Este anexo F1 establece la motivaci�n, describe la estructura general de la sem�ntica formal y contiene una introducci�n a la m�quina de estados abstractos (ASM, abstract state machine), formalismo que es usado para definir la sem�ntica SDL.