El documento describe diferentes metodologías de análisis clásicas como Z, lógica, diagramas de entidad-relación, máquinas de estado finitas y redes de Petri. Explica las ventajas e inconvenientes de los métodos formales e informales y cómo UML y SDL combinan múltiples notaciones para el análisis de sistemas.

1. Metodologías de Análisis Clase 13 – 9/10/2007 Christian Sifaqui

6. Esquema Estado_botón botones_piso, botones ascensor : P Botón botones : P Botón presionados : P Botón botones_piso ∩ botones _ascensor = Ø botones_piso ∪ botones _ascensor = botones Estado_Botón

8. Operaciones ∆ Estado_Botón botón?: Botón (botón? ∈ botones) ∧ (((botón? ∉ presionado) ∧(presionado’ = presionado ∪ {botón?})) ∨ ((botón? ∈ presionado) ∧(presionado’ = presionado))) Presionar_Botón

16. Diagrama Entidad-Relación

17. Máquinas de estado finita

18. Redes de Petri

19. Redes de Petri (extendida)

20. DFD

30. Formales

32. Comparación de técnicas clásicas Difícil de aprender para el equipo de desarrollo Difícil de usar Casi imposible de entender por muchos clientes Extremadamente preciso Puede reducir fallas de análisis Puede reducir costos y esfuerzo de desarrollo Puede sustentar pruebas de correctitud Formal Anna CSP MEF Gist Redes de Petri VDM Z No tan preciso como técnicas formales Generalmente no pueden manejar temporización Pueden ser entendidos por el cliente Más precisos que técnicas informales Semiformales Modelamiento entidad-relación PSL/PSA SADT SREM Análisis estructurado Impreciso Especificaciones pueden ser ambiguas, contradictorias o incompletas Fácil de aprender Fácil de entender pro el cliente Informal Lenguaje Natural Debilidades Fortalezas Categóría Método de análisis clásico