Transformacin Formal:

Un modelo matemtico del sistema se transforma

formalmente en la implementacin.

MODELO TRANSFORMACION FORMAL

Se basan en la especificacin formal del sistema, a travs de una notacin matemtica, y en una
serie de transformaciones de esta especificacin en programas.

campestre, Cabo Cod, etc.). Pero, lo que es ms importante, el estilo

arquitectnico tambin es una plantilla para la construccin. Deben definirse
ms detalles, especificar sus dimensiones finales, agregar caractersticas
personalizadas, determinar los materiales de construccin, pero el estilo (un
vestbulo central colonial) orienta al constructor en su trabajo. El software
construido para sistemas basados en computadora tambin tiene uno de
muchos estilos arquitectnicos. Cada estilo describe una categora de sistemas
que incluye 1) un conjunto de componentes (como una base de datos o

mdulos de cmputo) que realizan una funcin requerida por el sistema, 2) un

conjunto de conectores que permiten la comunicacin, coordinacin y
cooperacin entre los componentes, 3) restricciones que definen cmo se
integran los componentes para formar el sistema y 4) modelos semnticos que
permiten que un diseador entienda las propiedades generales del sistema al
analizar las propiedades conocidas de sus partes constituyentes [Bas03]. Un
estilo arquitectnico es una transformacin que se impone al diseo de todo el
sistema. El objetivo es establecer una estructura para todos los componentes
del sistema. En el caso en el que ha de hacerse la reingeniera de una
arquitectura ya existente (vase el captulo 29), la imposicin de un estilo
arquitectnico dar como resultado cambios fundamentales en la estructura
del software, incluida la reasignacin de las funciones de los componentes
[Bos00]. Un patrn arquitectnico, como un estilo de arquitectura, impone la
transformacin del diseo de una arquitectura. Sin embargo, un patrn difiere
de un estilo en varias formas fundamentales: 1) el alcance del patrn es menos
amplio y se centra en un aspecto de la arquitectura ms que en el total de
sta, 2) un patrn impone una regla a la arquitectura, describe la manera en la
que el software manejar ciertos aspectos de su funcionalidad en el nivel de la
infraestructura (por ejemplo, la concurrencia) [Bos00], 3) los patrones
arquitectnicos (vase la seccin 9.4) tienden a abocarse a aspectos
especficos del comportamiento en el contexto de la arquitectura (por ejemplo,
cmo manejarn la sincronizacin o las interrupciones las aplicaciones en
tiempo real). Los patrones se utilizan junto con un estilo arquitectnico para
dar forma a la estructura

Modelo de Transformacin Formal

Editar 6 125
MODELO DE TRANSFORMACIN FORMAL
Este modelo, propuesto por Robert Balzer en 1983, aplica una serie de
transformaciones usando un soporte automatizado para convertir una especificacin
formal (modelo matemtico) en un sistema implementable (ejecutable). Es decir, este
paradigma intenta automatizar las etapas de diseo e implementacin utilizando el
concepto de transformacin. Tambin se denomina a este paradigma Sntesis
Automtica de Software.
Fases:

Anlisis de requisitos

Especificacin formal

Transformacin

Integracin del sistema final

La especificacin formal se convierte en forma sistemtica en una representacin ms

detallada del sistema, matemticamente correcta. Cada paso agrega detalle hasta que
la especificacin formal se convierte en un programa equivalente. Como hay muchos
caminos a seguir desde la especificacin hasta el sistema final, la secuencia de
transformaciones y su justificacin se reflejan en un registro formal de desarrollo. Se
utilizan tcnicas de validacin del modelo matemtico, como la Simulacin.
La especificacin de requisitos se refina en una especificacin formal detallada,
expresada en notacin matemtica. Los procesos de diseo, implementacin y prueba
de unidades se reemplaza por un proceso de transformaciones donde la especificacin
formal se refina hasta llegar a un Software.