Las técnicas de descripción formal (FDTs, Formal Description Techniques) permiten el modelado de sistemas y protocolos de comunicaciones con la finalidad de evitar errores en la etapa de producción y con ello reducir costos; recientemente se han adoptado como formas de documentación en el proceso de estandarización y para estudiar su funcionamiento.
Un lenguaje de descripción formal (FDL, Formal Description Language) permite evaluar las alternativas y soluciones de los sistemas mediante su análisis y simulación. En la actualidad existen FDLs tales como STELLE, LOTOS y SDL (Specification and Description Language). SDL fue desarrollado por el CCITT (Comité Consultatif International Télégraphique et Teléphonique), ahora ITU-T (Telecommunication Standardization Sector) uno de los tres sectores de la ITU (International Telecommunication Union), y está detallado en la recomendación Z.100; SDL cumple con los requerimientos de una FDT y es la principal técnica de especificación y descripción formal en el área de las telecomunicaciones. SDL permite especificar y describir sistemas mediante una representación gráfica y/o representación textual. Los entornos de desarrollo integrado (IDEs, Integrated Development Environment) más conocidos para el uso de SDL son: IBM Rational Suite SDL antes Telelogic Tau, PragmaDev RTDS, SAFIRE World antes Safire-SDL, Dafocus antes ObjSystem, Sandrila y Cinderella SDL. En la Universidad Tecnológica de la Mixteca (UTM) se cuenta con la licencia de Cinderella SDL 1.3.
