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 deprograma para el mismo en un lenguaje de programación.
Se basa en la teoría de conjuntos, el cálculo lambda y la lógica de primer orden, se definen construcciones denominadas esquemas para describir elespacio de estados del sistema y las operaciones que sobre el mismo se efectúan. En los esquemas se declaran variables y predicados que afectan los valores de las variables declaradas.
El lenguaje Zlogró el estándar ISO en el 2002.
CARACTERÍSTICAS
Z es un lenguaje de matriz.
Z es una máquina de lenguaje de programación independiente, lo que significa que Z ejecuta programas secuencialesy paralelos.
Z es un lenguaje de programación implícitamente paralelo.
Z explota exclusivamente el modelo de paralelismo de datos.
MÉTODOS FORMALES
Métodos formales, basados en matemáticaelemental, pueden ser usados para producir documentación precisa y no ambigua, en la cual la información está estructurada y presentada en un nivel apropiado de abstracción. Esta documentación puede serusada para ayudar en el proceso de diseño y como una guía para desarrollo subsecuente, testing y mantenimiento.
Su propósito es agregar precisión, agregar comprensibilidad y razonar acerca de laspropiedades de un diseño, cualquiera sea la disciplina, el uso de la matemática puede ser costoso, pero realmente puede reducir costos.
LA NOTACIÓN Z
La notación Z está basada en la teoría deconjuntos y la lógica matemática. La teoría de conjuntos usada incluye operadores estándar de conjuntos, comprensión de conjuntos, productos cartesianos y conjuntos potencia. La lógica matemática es elcálculo de predicados de primer orden. Juntos forman un lenguaje matemático que es fácil de usar y de aplicar. Sin embargo, este lenguaje no es el único aspecto de Z.
Otro aspecto es la forma en que...
Regístrate para leer el documento completo.