Técnicas de Descripción Formal

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.