ANALISIS Y DISEÑO DE SISTEMAS

Unidad 1 Unidad 3
Técnicas para el levantamiento de Nociones básicas de lenguaje Z
información.
 1.1. Entrevista Unidad 4
 1.2. Encuesta UML
 1.3. Observación  4.1. Diagrama de estados
 4.2. Diagrama de clases
Unidad 2  4.3. Diagrama de Objetos
Documento de especificaciones.
 2.1. Requerimientos funcionales Unidad 5
 2.2. Requerimientos no funcionales Modelo Conceptual.
 2.3. Alcance del sistema  5.1. Entidades
 2.4. Tipos de usuarios y permisos  5.2. Atributos
 2.5. Descripción de módulos
 2.6. Arquitectura de hardware y
software
UNIDAD 3:

Nociones básicas de 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.

 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
Lenguaje z
 En Z, normalmente usted modela un sistema al representar
su estado , una colección de variables de estado y sus valores, y
algunas operaciones que pueden cambiar su estado. Un modelo
que se caracteriza por las operaciones que describe se
denomina tipo de datos abstractos(ADT)
Características del lenguaje Z
 Z no es una notación ejecutable
 En general, las especificaciones Z no se pueden interpretar o
compilar en un programa en ejecución
 Z no es un lenguaje de programación
 Z fue diseñado para personas, no para máquinas
 Los novatos pueden sentirse intimidados por la aparición de
Z: una mezcla de cajas, texto, letras griegas y símbolos
 Z ha servido de base para otras anotaciones, incluidas varias
variantes adaptadas para la programación orientada a objetos.
Glosario Z
Glosario Z
Glosario Z
Lenguaje Z y la Teoría de Conjuntos
 El lenguaje Z es una notación basada en la teoría de conjuntos
de Ernst Zermelo, ésta utiliza los conceptos básicos de esta
teoría (conjuntos, relaciones, funciones y variables), para la
descripción de sistemas y aplicaciones.
 (Investigar sobre Ernst Zermelo)
Modelos estáticos vs Modelos
dinámicos
 ESTÁTICOS
 1 - Los estados que pueda alcanzar el sistema.
 2 - Las relaciones invariantes que se mantienen en todas las
transiciones de estados.
 DINÁMICOS
 1 - Las posibles operaciones.
 2 - Las relaciones entre las entradas y las salidas.
 3 - Los cambios de estado que puedan ocurrir.