Mtodos y herramientas de especificacin y diseo

1
Métodos y herramientas de especificación y diseño

• Concepto y clasificación

2
Concepto de método

• Método (concepción del mundo herramientas de
  representación) heurísticas reglas de
  transformación y verificación proceso de
  aplicación
• Uso de métodos método INGENI (O) ERIA ---gt
  Fundamental el proceso

3
Uso de métodos

• Muchos métodos actuales de uso industrial cubren
  tanto la especificación como el diseño
• Herramientas CASE soporte a la aplicación de
  métodos
• El método no es una garantía contra la falta de
  rigor

4
Herramientas de representación

• Lenguajes que permiten modelizar diferentes
  aspectos de un sistema software. La caja de
  Pandora del informático
• NO FORMALES lenguaje
  natural.
• EXPRESIVIDAD, FLEXIBILIDAD, precisión,
  dificultad
• SEMIFORMALES sintaxis
  precisa.
• EXPRESIVIDAD, FLEXIBILIDAD, PRECISION, DIFICULTAD
• FORMALES sintaxis y
  semántica precisas.
• expresividad, flexibilidad, PRECISIÓN, DIFICULTAD

5
Lenguajes semiformales

• Datos
• Estructura ER, Diagramas de objetos
• Trasiego, intercambio o flujo DFD
• Actividad
• Estructura Carta de estructura
• Flujo (control) Diagramas de flujo de control
  (ordinogramas), Diagramas de Cajas (Chapin,
  Nassi-Shneiderman), Diagramas de Jackson

6
Lenguajes formales

• Datos
• Estructura Gramáticas formales, Cálculo y
  algebra relacionales
• Flujo
• Actividad
• Estructura Gramáticas formales, autómatas,
  Lógica temporal
• Flujo (control) RdP, Diagramas de transición de
  estados, Lenguajes formales de procesos CSP
• Datos activos Especificación algebraica,
  Especificación axiomática

7
Métodos

• Orientados a la estructura de datos
• Método de Jackson, Método de Warnier-Orr
• Orientados al proceso de datos
• Métodos estructurados
• Orientados a objetos
• Booch, OMT, Jacobson, UML
• Formales
• Métodos formales basados en propiedades
• Métodos formales basados en modelos matemáticos

8
Métodos formales

• Un método formal tiene una sólida base matemática
  proporcionada por un lenguaje de especificación
  formal
• En general, se utilizan para revelar ambigüedad e
  inconsistencias en la especificación de un
  sistema
• Tipos
• ORIENTADOS A MODELOS
• ORIENTADOS A PROPIEDADES

9
Métodos formales orientados a modelos

• Se define un sistema construyendo modelos que se
  expresan como estructuras matemáticas
• Tuplas, relaciones, funciones, conjuntos,
  secuencias
• Ejemplo RdP, diagramas de transición de estados

10
Métodos formales orientados a propiedades

• Se definen una serie de propiedades (conjunto de
  axiomas) que el sistema debe cumplir
• METODOS AXIOMATICOS
• Lógica de predicados de 1er orden para expresar
  precondiciones y postcondiciones
• METODOS ALGEBRAICOS
• Los axiomas se restringen a ecuaciones (lógica
  ecuacional)

11

• "La especificación formal es sólo una
  representación matemática de los requisitos del
  usuario. Por una parte, cualquier inconsistencia
  en los requisitos podría ser fielmente preservada
  por el especificador. Por otra, el especificador
  puede interpretar incorrectamente los requisitos
  y caracterizar formalmente la malinterpretación.
  Por estas razones es importante que el
  especificador y el usuario interactuen"
• Wing, 1990