Una especificación en SDL está formada de los siguientes elementos: