3. METODOS FORMALES
Es un camino a la construcción y análisis de modelos
matemáticos que permitan una automatización del
desarrollo de sistemas informáticos; se caracterizan
por emplear técnicas y herramientas matemáticas
para lograr una facilitación a la hora de encarar la
construcción o el análisis de un modelo matemático
de un sistema
4. METODOS FORMALES
CLASIFICACION:
Especificaciones basadas en lógicas de primer
orden y teoría de conjunto
Especificaciones algebraicas
Especificación de comportamiento
Métodos basados en álgebra de procesos
Métodos basados en Redes de Petri
Métodos basados en lógica temporal
5. METODOS FORMALES
Especificaciones basadas en lógicas de primer orden y
teoría de conjunto
Permiten especificar el sistema mediante un concepto
formal de estados y operaciones sobre estados.
Especificaciones algebraicas
proponen una descripción de estructuras de datos
estableciendo tipos y operaciones sobre esos tipos.
6. METODOS FORMALES
Especificación de
comportamiento modelan la interacción
entre procesos
concurrentes.
Métodos basados en álgebra de procesos
Es un modelo formal
basado en flujos de
información.
Métodos basados en Redes de Petri
se usan para especificar
sistemas concurrentes y
reactivos.
Métodos basados en lógica temporal
7. METODOS FORMALES
VENTAJAS:
Se comprende mejor el sistema.
La comunicación con el cliente mejora ya que se dispone de
una descripción clara y no ambigua de los requisitos del
usuario.
El sistema se describe de manera más precisa.
El sistema se asegura matemáticamente que es correcto
según las especificaciones.
Mayor calidad software respecto al cumplimiento de las
especificaciones.
8. METODOS FORMALES
DESVENTAJAS:
El desarrollo de herramientas que apoyen la aplicación de
métodos formales es complicado y los programas resultantes
son incómodos para los usuarios.
Los investigadores por lo general no conocen la realidad
industrial.
Se considera que la aplicación de métodos formales encarece
los productos y ralentiza su desarrollo.
9. METODOS FORMALES
MÉTODOS FORMALES EN INGENIERÍA
DEL SOFTWARE
tienen como objetivo aumentar la
rigurosidad, consistencia y completitud en el
desarrollo del software y evitar los problemas
que son origen de errores en el software.
La Técnica mas usada es: verificación formal
10. METODOS FORMALES
LOS DIEZ MANDAMIENTOS DE LOS
METODOS FORMALES:
Seleccionarás la notación adecuada.
Formalizarás, pero no de más.
Estimarás los costes
Poseerás un experto en métodos formales a tu disposición
No abandonarás tus métodos formales de desarrollo.
Documentarás suficientemente.
No comprometerás los estándares de calidad.
No serás dogmático.
Comprobarás, comprobarás y volverás a comprobar.
Reutilizarás cuanto puedas.
11. METODOS FORMALES
Los siete mitos sobre los
métodos formales:
Los métodos formales garantizan que el software esta perfecto.
Los métodos formales se centran en demostrar corrección.
Los métodos formales son útiles solo para sistemas críticos.
Los métodos formales requieren matemáticos entrenados.
Los métodos formales aumentan el costo del desarrollo
Los métodos formales son incomprensibles para los usuarios.
Los métodos formales no se usan en grandes proyectos reales
12. METODOS FORMALES
Principales métodos formales utilizados
en el desarrollo de software
• Métodos formales basados en Lógica de Primer Orden:
Z, B, VDM, Object-Z, Z++ y VDM++.
• Métodos formales basados en Formalismos Algebraicos:
HOSA (Hidden Order Sorted Algebras), TROLL, OBLOG, Maude y AS-
IS (Algebraic Specifications with Implicit States).
• Métodos formales basados en Redes de Petri:
CO-OPN (Concurrent Object-Oriented Petri Nets).
• Métodos formales basados en Lógica Temporal:
TRIO, OO-LTL y ATOM.
• Métodos Semiformales:
Syntropy, Statemate, UML y OCL (Object Constraint Language).
13. METODOS FORMALES
Métodos Semi-formales OO.
Representan una aproximación muy
interesante para la correcta comprensión
de los métodos formales porque
representan
“transiciones suaves” hacia los métodos
formales.
