Modelamiento Sistemas Informáticos

Modelamiento Sistemas Informáticos

1. Características:

   • Permitir la abstracción
   • Usar notaciones

2. Modelamiento Formal:

   • Metodos Axiomaticos: Primer paso para la formalización de diseño
   • Basada en Teoría de Conjuntos: Se caracterizan por el estado del programa se expresa de manera explicita
   • Tecnica Basada en Álgebra de Procesos: Modelan la interacción concurrente entre procesos sencuenciales.
   • CSP: Define la concurrencia mediante la comunicacion de procesos
   • LOTOS: Esta constituido por subsistemas que se ejecutan concurrentemente

3. Tecnicas Formales:

   • TAU de Telelogic
     • Simulalcion: Permite escoger el simulador
     • Generacion de Codigos: Genera codigo ejecutable de la aplicación
     • Validación y Verificación: Se compila para validad errores

4. Lenguajes Gráficos de Modelado:

   • SDL
   • UML
     • Se fucionan tres metodos de desarrollo orientado a objetos: BOOCH, OOSE, OMT