Lenguaje de especificación

lenguaje formal utilizado en las ciencias de la computación

En el contexto de la ingeniería eléctrica, la computación y ramas afines, un lenguaje de especificación o lenguaje de descripción es un lenguaje formal o semi-formal cuya función es construir modelos de los sistemas que se desea elaborar.

A diferencia de los lenguajes de programación, que son lenguajes interpretables o traducibles por una computadora hacia una representación ejecutable, los lenguajes de especificación no son por lo general utilizados para implementar el sistema, sino para especificarlo, conceptualizarlo o incluso validarlo, aunque también suelen ser legibles para un programa de computadora, que puede asistir en el proceso de validación.

Las especificaciones hechas en un lenguaje de descripción no suelen ser interpretables o ejecutables, sin embargo existen algunos ambientes de desarrollo basados en lenguajes de descripción, que permiten la generación del sistema a partir del modelo. Los lenguajes de especificación pueden dividirse en semi-formales y formales.

Algunos lenguajes de especificación

editar