El Lenguaje Z es un lenguaje de especificación formal utilizado en ingeniería del software para la especificación formal de sistemas de información, como una fase previa al desarrollo del código de programa para el mismo en un lenguaje de programación. Fue desarrollado por Jean-Raymond Abrial mientras formaba parte del Grupo de investigación en Programación del Laboratorio de computación de la Universidad de Oxford.[1]
El lenguaje Z se basa en la teoría de conjuntos, el cálculo lambda y la lógica de primer orden. En Z se definen construcciones denominadas esquemas para describir el espacio 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.[2]
Ejemplo
Estándar
El lenguaje Z logró el estándar ISO en el 2002. Se puede obtener una copia directamente en el sitio de la ISO.[5]
Herramientas
- ERZ - Herramienta basada en Web para integrar paradigmas de integración, específicamente transforma del modelo entidad relación a su equivalente en lenguaje Z, desarrollada en PHP por Luis Espino, Guatemala.
- Fastest una herramienta de testeo de código abierto para el Lenguaje Z.
- Fuzz - Es un chequeador de tipos para lenguaje Z.
- HOL-Z entorno de prueba de código abierto para Z en Isabelle/HOL Archivado el 5 de noviembre de 2015 en Wayback Machine.
- Z Word Tools - Permite escribir especificaciones en Microsoft Word.
- ZETA sistema de código abierto para el desarrollo de especificaciones en Z.
- Z/Eves — Un tester de pruebas para el Lenguaje Z (sitio en alemán)
Referencias
Lectura recomendada
- Jim Davies and Jim Woodcock (1996). Using Z: Specification, Refinement and Proof. Prentice Hall International Series in Computer Science. ISBN 0-13-948472-8. Archivado desde el original el 27 de junio de 2009.
- Jonathan Bowen (1996). Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press. ISBN 1-85032-230-9. Archivado desde el original el 9 de abril de 2010. Consultado el 27 de abril de 2010.
- Jonathan Jacky (1997). The Way of Z: Practical Programming with Formal Methods. Cambridge University Press. ISBN 0-521-55976-6.
Enlaces externos
- Especificaciones propuestas por Ian Toyn
- Herramientas para el desarrollo y testeo de especificaciones Z en Microsoft Word
- Proyecto(CZT)
- The World Wide Web Virtual Library: The Z notation, por Jonathan Bowen
- Type-Checker para Z por Mike Spivey
- W3C WSDL 2.0 Un ejemplo de especificación en Z con aserciones y explicaciones.
- Z/EVES Documentación y manuales sobre Z/EVES
