Modelo Transformacional

Introducción

En el aprendizaje de la programación se han propuesto y se vienen usando distintos enfoques y combinaciones de los mismos, desde la teoría como principio fundamental y la deducciónlógica como camino para producir programas a partir de sus especificaciones formales hasta la prueba y error como método. Ambos estilos tienen ventajas e inconvenientes que no vamos a comentar aquí.Dos de los métodos formales más conocidos son el de la verificación formal de programas (Hoare) y la derivación (Dijkstra), ambos en el mundo imperativo. Uno de los inconvenientes más esgrimidos contradichos métodos es el uso de un lenguaje (de la lógica) ajeno al propio lenguaje de programación y con el que ha de convivir, no siendo ejecutable por lo general en el mismo entorno de desarrollo deprogramas.
El tercer método formal es la transformación de programas, que venimos a defender en este trabajo. El método y las extensiones no usan otro lenguaje que el de programación, y tiene lapotencia necesaria como para abordar toda clase de programas a nivel de módulo.

Modelo Transformacional
Concepto:
Conjunto de técnicas y herramientas basadas en modelos matemáticos y lógica formalque son utilizadas para especificar y verificar los requerimientos y el diseño de sistemas computarizados.
Se basa en disponer de una especificación formal del sistema y en transformar, con métodosmatemáticos, esta especificación en una implementación. Si las transformaciones que se aplican son correctas es posible asegurar que el sistema construido satisface la especificación, es decir, esposible obtener programas correctos por construcción.
Se deben transformar requerimientos informales en especificaciones formales: Utilizando métodos de especificación formal. Ya que esto pretendereducir errores automatizando los pasos del desarrollo.
Los pasos seguidos en este modelo son:
* Una especificación formal del sistema.

* Una transformación automática (o asistida) de las...