Lenguaje de especificación
- Lenguaje de especificació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
- Alloy, lenguaje de especificaciones que utiliza la lógica de primer orden y se basa en el uso de relaciones.
- Autómatas formalismo utilizado para modelar sistemas discretos en general.
- B, lenguaje de descripción formal basado en la lógica de predicados.
- Cálculo Pi, lenguaje de especificación para sistemas distribuidos y paralelos.
- CCS, lenguaje formal basado en el álgebra de procesos.
- CSP, lenguaje formal basado en el álgebra de procesos
- Estelle, lenguaje formal basado en autómatas de estado finito para la especificación de sistemas distribuidos.
- Larch, familia de lenguajes formales de especificación.
- Lotos, lenguaje formal basado en el álgebra de procesos.
- Promela, lenguaje formal basado en la lógica temporal lineal y los autómatas de Buchi.
- Redes de Petri formalismo equivalente a los autómatas, utilizado para la especificación de sistemas discretos paralelos o distribuidos.
- SDL, lenguaje visual para el diseño de sistemas distribuidos basado en autómatas.
- UML, notación semiformal para modelar programas orientados a objetos.
- VHDL, lenguaje de descripción (e implantación) de circuitos electrónicos.
- Z, lenguaje de descripción formal basada en la prueba automática de teoremas usando la lógica.
- Z.120, estándar semiformal de la ITU-T para diagramas de flujo.
Wikimedia foundation.
2010.
Mira otros diccionarios:
Lenguaje de especificación — En el contexto de la ingeniería eléctrica, la computación y ramas afines, un lenguaje de especificación o lenguage de descripción es un lenguaje formal o semi formal cuya función es construir modelos de los sistemas que se desea elaborar. A… … Enciclopedia Universal
Lenguaje de especificación OCL2.0 — OCL2.0 (Object Constraint Language 2.0) fue adoptado en octubre de 2003 por el grupo OMG como parte de UML 2.0. OCL es un lenguaje para la descripción formal de expresiones en los modelos UML. Sus expresiones pueden representar invariantes,… … Wikipedia Español
Lenguaje de especificación OCL2.0 — OCL2.0 (Object Constraint Language 2.0) fue adoptado en octubre de 2003 por el grupo OMG como parte de UML 2.0. OCL es un lenguaje para la descripción formal de expresiones en los modelos UML. Sus expresiones pueden representar invariantes,… … Enciclopedia Universal
SDL (lenguaje de especificación) — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar … Wikipedia Español
SDL (lenguaje de especificación) — SDL es un lenguaje de especificación formal y visual normado por la ITU T en el estándar Z.100, así como el acrónimo de Specification and Description Language. El lenguaje SDL está diseñado para la especificación de sistemas complejos,… … Enciclopedia Universal
Lenguaje de programación Java — Saltar a navegación, búsqueda Java Paradigma: Orientado a objetos Apareció en: 1991 Diseñado por: Sun Microsystems Tipo de dato: Fuerte, Estático Implementacion … Wikipedia Español
Lenguaje Unificado de Modelado — Collage de diagramas UML. Lenguaje Unificado de Modelado (LUM o UML, por sus siglas en inglés, Unified Modeling Language) es el lenguaje de modelado de sistemas de software más conocido y utilizado en la actualidad; está respaldado por el OMG… … Wikipedia Español
Lenguaje formal — Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas. En matemáticas,… … Wikipedia Español
Lenguaje informático — Un lenguaje informático es un lenguaje usado por, o asociado con, ordenadores. Muchas veces, este término es usado como sinónimo de lenguaje de programación, pero un lenguaje informático no tiene por qué ser un lenguaje de programación. Como… … Wikipedia Español
Lenguaje Z — Lenguaje Z. El Lenguaje Z es un lenguaje formal utilizado en Ingeniería del software para la especificación formal de un sistema de cómputo, como una fase previa al desarrollo del código de programa para el mismo en un lenguaje de programación.… … Wikipedia Español
