Modelos Formales

Modelos 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. Los métodos formales 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.

Se pueden encontrar multitud de métodos y técnicas formales con lo que los criterios de clasificación son bastante variados. 

El uso de métodos formales está creciendo en el área del desarrollo de sistemas críticos, en donde las propiedades emergentes del sistema tales como seguridad, fiabilidad y protección son muy importantes. El alto coste de los fallos de funcionamiento en estos sistemas implica que las compañías están dispuestas a aceptar los costes elevados iniciales de los métodos formales para asegurar que su software es tan confiable como sea posible.

imagen: https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjmA9ZgXT_zVMPEPxxCkXv9LKATLOdpY26H5IEbl6hXYcH85U2419mE0wJcDaRsjpD_yffIUxWDah8RThMt-4dnMIF6JBUTXVqJUDEajtLzCdlSXTFNwVvhW_wSKXueLki4GM52SWKLGHma/s1600/Imagen1.png

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.
• Mayor productividad

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.
• Es escasa la colaboración entre la industria y el mundo académico, que en ocasiones se muestra demasiado dogmático.
• Se considera que la aplicación de métodos formales encarece los productos y ralentiza su desarrollo.

Bibilografia: http://es.wikipedia.org/wiki/M%C3%A9todo_formal