Professional Documents
Culture Documents
Especificacin de procesos o o o o Lenguaje natural Lenguaje estructurado Tablas de decisin rboles de decisin
Qu es el anlisis estructurado? El objetivo que persigue es estructurar u organizar las tareas asociadas con la determinacin de requerimientos para obtener la comprensin completa y exacta de una situacin dada. Se concentra en especificar lo que se requiere que haga el sistema o la aplicacin. No se establece como cumplirn los requerimientos o la forma en que implantaran la aplicacin. Ms bien permite que las personas observen los elementos lgicos separados de los componentes fsicos. Despus de esto se puede desarrollar un modelo fsico eficiente para la situacin donde ser utilizado. Componentes: Smbolos grficos (iconos y convenciones para identificar y describir los componentes de un sistema junto con las relaciones entre estos componentes) Diccionario de Datos (descripciones de todos los datos utilizados en el sistema) Descripciones de procesos y procedimientos (declaraciones formales que emplean tcnicas y lenguajes que permiten a los analistas describir actividades importantes que forman parte del sistema) Reglas (estndares para describir y documentar el sistema en forma correcta y completa)
Lenguaje estructurado: se emplea un lenguaje natural limitado en palabras y construcciones, dndole ms precisin y claridad, evitando ambigedades (el lenguaje natural humano carece de precisin y es muy ambiguo). Definen un algoritmo.
Uso de pre-condiciones y post-condiciones: describen la funcin del proceso, sin detallar un algoritmo especfico. Otras: tablas de decisiones, lenguaje narrativo, diagramas de flujos, diagrama NassiShneiderman, grficas, etc.
Las especificaciones de proceso (o mini especificaciones) son creadas para los procesos primitivos en un diagrama de flujo de datos as como para algunos procesos de alto nivel que explotan a diagramas hijos. Estas especificaciones explican la lgica de toma de decisiones y las frmulas que transformarn los datos de entrada al proceso en salida. Los tres objetivos de la especificacin de proceso son: Reducir la ambigedad de los procesos Obtener una descripcin precisa de lo que se logra Validar el diseo de sistema.
Las especificaciones de proceso pueden ser usadas para analizar el diagrama de flujo de datos y el diccionario de datos por medio de un mtodo llamado balanceo horizontal, que indica que todos los elementos del flujo de datos de salida deben ser obtenidos a partir de elementos de entrada y lgica de proceso. Las reas no resueltas pueden ser planteadas como preguntas en entrevistas de averiguacin.
Formato de especificacin de procesos: El nombre de proceso, como visualizaciones dentro del smbolo de proceso sobre el DFD. Una descripcin breve del lo que el proceso logra. Una lista de la contribucin y la circulacin de datos de producto, usando los nombres encontrados sobre el diagrama de flujo de datos.
Los datos que los nombres usaron en las frmulas o la lgica deben ajustarse al diccionario de datos, para la regularidad y la buena comunicacin.
propiedades sobre partes del sistema y relacionarlas con propiedades del sistema completo as como definir propiedades sobre acciones realizadas en partes del sistema. La lgica VLRL permite adems probar propiedades definidas en otras lgicas modales o temporales mediante la definicin de la interfaz apropiada. Se muestra el uso de la lgica en la prueba de propiedades de seguridad de varios sistemas orientados a objetos: un protocolo de exclusin mutua, el sistema del mundo de los bloques y el sistema Mobile Maude como modelo de movilidad de objetos entre procesos. Por ltimo se muestra otro medio de probar propiedades de sistemas especificados en lgica de reescritura mediante un ejemplo en el que se realiza una prueba semi-formal por induccin de propiedades de seguridad y vivacidad del protocolo para la eleccin de lder del bus en serie multimedia IEEE 1394.
1.4.3 Casos de uso Modelado de clases, responsabilidades y colaboraciones. Una vez que se han desarrollado los escenarios de uso bsicos para el sistema, es el momento de identificar las clases candidatas e indicar sus responsabilidades y colaboraciones. El modelado de clases-responsabilidades colaboraciones (CRC) aporta un medio sencillo de identificar y organizar las clases que resulten relevantes al sistema o requisitos del producto. Se describe el modelado CRC de la siguiente manera: Un modelo CRC es realmente una coleccin de tarjetas ndice estndar que representan clases. Las tarjetas estn divididas en tres secciones. A lo largo de la cabecera de la tarjeta usted escribe el nombre de la clase. En el cuerpo se listan las responsabilidades de la clase a la izquierda y a la derecha los colaboradores. En realidad, el modelo CRC puede hacer uso de tarjetas ndice virtual o real. El caso es desarrollar una representacin organizada de las clases. Las responsabilidades son los atributos y operaciones relevantes para la clase. Puesto de forma simple, una responsabilidad es cualquier cosa que conoce o hace la clase. Los colaboradores son aquellas clases necesarias para proveer a una clase con la informacin necesaria para completar una responsabilidad. En general, una colaboracin implica una solicitud de informacin o una solicitud de alguna accin.
1.4.4 Definicin de atributos Los atributos presentan las siguientes caractersticas: Valor de un dato dentro de un objeto. Cada atributo tiene un valor para cada objeto. El nombre de un atributo es nico dentro de una clase. Debera ser un dato puro', no un objeto (no tiene identidad): si un objeto necesita otro objeto habr que modelarlo como asociacin. Adems del nombre podemos especificar el Tipo y el Valor por defecto. Los identificadores de objetos explcitos no se necesitan en el Modelo de Objetos.
1.4.5 Definicin de servicios El servicio es llevado a cabo por una organizacin o personal encargado de atender una necesidad pblica o privada. La definicin de servicios es el primer paso del anlisis del sistema, en este proceso en Analista se rene con el cliente y/o usuario (un representante institucional, departamental o cliente particular), e identifican las metas globales, se analizan las perspectivas del cliente, sus necesidades y requerimientos, sobre la planificacin temporal y presupuestal, lneas de mercadeo y otros puntos que puedan ayudar a la identificacin y desarrollo del proyecto; as como la identificacin de los servicios que va a prestar el sistema a cada usuario participante.