Sei sulla pagina 1di 4

LENGUAJE Z PARA EL CONTROL DE INFORMACIÓN DE CLIENTES

UTILIZANDO EL SOFTWARE CICS


1. Resumen
Luego de la creación de discos magnéticos en la década de los 60, surgieron
clientes con necesidades de procesos nuevos, para cubrir necesidades, gracias
a lenguajes formales se dio origen a reglas para el desarrollo de nuevo software
El lenguaje Z tiene características de especificación formal basada en teoría de
conjuntos y la lógica matemática, formando un lenguaje matemático que es fácil
de aplicar, el sistema de control de información de clientes CICS fue diseñado
usando Z.
Logrando un gestor transaccional, ejecutándose principalmente en grandes
ordenadores IBM ofrece soporte para sistemas en línea de forma similar a un
sistema operativo.
2. Abstract
After the creation of magnetic disks in the 60s, customers with new process
needs arose, to meet needs, thanks to formal languages, rules for the
development of new software were created.
The Z language has characteristics of formal specification based on set theory
and mathematical logic, forming a mathematical language that is easy to apply,
the CICS client information control system was designed using Z.
Achieving a transactional manager, running mainly on large computers IBM
offers support for online systems similar to an operating system.
3. Palabras clave
 Sistema
 Lenguaje
 Software
 Desarrollo
 Diseño
 Información

4. Key-words
 System
 Language
 Software
 Development
 Design
 Information
5. Introducción Una forma de mejorar la calidad
del software es cambiar la forma
Un lenguaje formal tiene origen
en la que el software es
en reglas para unir símbolos
documentado: en la etapa de
formalmente especificados, en
diseño, durante el desarrollo, y
los años 60 después de la
después de su lanzamiento.
creación de discos magnéticos
clientes con nuevas necesidades Existen distintas herramientas
como la cancelación de de apoyo para el testeo como: Z
reservas, inspiro al desarrollo Word Tools y Community Z Tools
hardware y software nuevo. Project (CZT)
El software hoy en día viene con CICS por otra parte, acrónimo en
extensa documentación, pero su inglés de Customer Information
comportamiento usualmente Control System (Sistema de
sorprende a usuarios y control de información de
diseñadores y los sistemas no clientes), es una de las más
logran alcanzar sus exitosas piezas de software en el
requerimientos. mundo, hay más de 30.000
licencias y la mayoría de las
Los métodos formales, basados
grandes empresas del mundo la
en matemática, utilizados para
usa, es una familia de productos
producir documentación precisa,
para el procesamiento de
genera información estructurada
transacciones producido por los
y presentada en un nivel
laboratorios de IBM, provee
apropiado de abstracción, es
servicios de acceso a datos, de
usada para procesos como
comunicaciones, de integridad y
diseño y guía para desarrollo,
de seguridad. Dicho
pruebas y mantenimiento.
sencillamente, CICS maneja
6. Desarrollo información.
El lenguaje Z es un lenguaje de En los grandes ordenadores
especificación formal empleado IBM, un sistema CICS puede dar
en ingeniería de software para la servicio a miles de transacciones
especificación formal de un por segundo. Es una pieza clave
sistema de cómputo, se emplea en los servicios de muchos
de forma previa a la bancos, administraciones y
programación, desarrollado por grandes empresas. Las
Jean-Raymound en los aplicaciones CICS puede ser
laboratorios de computación de escritas en diferentes lenguajes
la universidad de Oxford. Se como COBOL, PL/I, C, C++,
sustenta en la teoría de código ensamblador, REXX y
conjuntos, cálculo de lambda y la Java. Por motivos históricos, la
lógica de primer orden. mayoría de aplicaciones CICS
están escritas en COBOL o PL/I.
Cuando usamos un cajero práctica, la notación probó ser
automático, una cuenta en fácil de aprender y de aplicar,
nuestra sucursal en nuestro aún para programadores sin
banco es debitada, aun cuando experiencia previa en
la máquina está a miles de matemáticas el resultado fue una
kilómetros de distancia. Durante mejora percibida en la calidad y
las horas pico, puede haber confiabilidad del código final.
miles de clientes del banco
El primer producto CICS que fue
usando el servicio alrededor del
diseñado usando Z fue
mundo y todos nosotros
CICS/ESA versión 3, anunciado
esperamos ser atendidos dentro
en junio de 1989, en abril de
de un tiempo razonable. CICS
1992 logro el premio de la reina
ofrece una forma de lograr esto.
al Logro tecnológico fue
Esta precisión requiere el uso de otorgado a los laboratorios de
técnicas matemáticas que eran, IBM del Reino Unido y al
en ese entonces, poco conocida Laboratorio de Computación de
fuera del ambiente académico. la Universidad de Oxford por el
Una feliz coincidencia junto al desarrollo y uso de un método
encargado de CICS, Tony avanzado de programación que
Kenny, con el profesor de redujo los costos de desarrollo y
Oxford, Tony Hoare, en una mejoró significativamente la
conferencia. Ellos maduraron un calidad y la confiabilidad,
plan para aplicar las ideas de llamado Z.
Oxford a los problemas CICS,
7. Conclusión
Oxford asesoró en como los
métodos formales podrían ser Como resultado del artículo de
usados para la especificación y información presentado se
diseño de nuevos módulos del concluye que el lenguaje z es
CICS. Hursley mostró cómo una herramienta para la
esos métodos pueden ser especificación formal de un
adaptados a problemas en sistema de cómputo
escala industrial. empleándolo antes de la
programación, tal es el caso de
Un método formal particular, la
CICS una de las más exitosas
notación Z, fue usado para
piezas de software en el mundo,
especificar la nueva
dando servicio a miles de
funcionalidad del CICS, los
transacciones por segundo pieza
programadores de estaban
clave en los servicios de muchos
acostumbrados a escribir
bancos, que gracias a la
especificaciones en inglés y la
aplicación de Z por la
notación matemática rigurosa
universidad de Oxford junto a
fue vista como un desafío. En la
IBM lograron todo este éxito.
8. Bibliografía
 José González (2016). Consulta Lenguaje Z y Resumen Modelo Concurrente.
Facultad de ingeniería de sistemas ingeniería en sistemas informáticos y de
computación. Escuela politécnica nacional, Quito Ecuador.
 Colque Amalia Chocamani (2016). Sistemas de control de información de
clientes CICS. Trabajo Pre Grado sistemas operativos II Facultad Nacional de
Ingeniería Carrera de ingeniería informática, Universidad Técnica de Oruro,
Oruro Bolivia.
 Jim Woodcock y Jim Davies (1996). Usando Z. Ing.Soft. I [En linea]. Disponible
en: http://www-2.dc.uba.ar/materias/isoft1/Z/usingz.htm

Potrebbero piacerti anche