You are on page 1of 4

Transformación Formal

:

Un modelo matemático del sistema se transforma
formalmente en la implementación.

MODELO TRANSFORMACION FORMAL
Se basan en la especificación formal del sistema, a través de una notación matemática, y en una
serie de transformaciones de esta especificación en programas.

campestre, Cabo Cod, etc.). Pero, lo que es más importante, el estilo
arquitectónico también es una plantilla para la construcción. Deben definirse
más detalles, especificar sus dimensiones finales, agregar características
personalizadas, determinar los materiales de construcción, pero el estilo (un
“vestíbulo central colonial”) orienta al constructor en su trabajo. El software
construido para sistemas basados en computadora también tiene uno de
muchos estilos arquitectónicos. Cada estilo describe una categoría de sistemas
que incluye 1) un conjunto de componentes (como una base de datos o

módulos de cómputo) que realizan una función requerida por el sistema, 2) un
conjunto de conectores que permiten la “comunicación, coordinación y
cooperación” entre los componentes, 3) restricciones que definen cómo se
integran los componentes para formar el sistema y 4) modelos semánticos que
permiten que un diseñador entienda las propiedades generales del sistema al
analizar las propiedades conocidas de sus partes constituyentes [Bas03]. Un
estilo arquitectónico es una transformación que se impone al diseño 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 reingeniería de una
arquitectura ya existente (véase el capítulo 29), la imposición de un estilo
arquitectónico dará como resultado cambios fundamentales en la estructura
del software, incluida la reasignación de las funciones de los componentes
[Bos00]. Un patrón arquitectónico, como un estilo de arquitectura, impone la
transformación del diseño de una arquitectura. Sin embargo, un patrón difiere
de un estilo en varias formas fundamentales: 1) el alcance del patrón es menos
amplio y se centra en un aspecto de la arquitectura más que en el total de
ésta, 2) un patrón 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
arquitectónicos (véase la sección 9.4) tienden a abocarse a aspectos
específicos del comportamiento en el contexto de la arquitectura (por ejemplo,
cómo manejarán la sincronización o las interrupciones las aplicaciones en
tiempo real). Los patrones se utilizan junto con un estilo arquitectónico para
dar forma a la estructura

Modelo de Transformación Formal
Editar 6 125…
MODELO DE TRANSFORMACIÓN FORMAL
Este modelo, propuesto por Robert Balzer en 1983, aplica una serie de
transformaciones usando un soporte automatizado para convertir una especificación
formal (modelo matemático) en un sistema implementable (ejecutable). Es decir, este
paradigma intenta automatizar las etapas de diseño e implementación utilizando el
concepto de transformación. También se denomina a este paradigma Síntesis
Automática de Software.
Fases:

Análisis de requisitos

Especificación formal

Transformación

Integración del sistema final

La especificación formal se convierte en forma sistemática en una representación más
detallada del sistema, matemáticamente correcta. Cada paso agrega detalle hasta que
la especificación formal se convierte en un programa equivalente. Como hay muchos
caminos a seguir desde la especificación hasta el sistema final, la secuencia de
transformaciones y su justificación se reflejan en un registro formal de desarrollo. Se
utilizan técnicas de validación del modelo matemático, como la Simulación.
La especificación de requisitos se refina en una especificación formal detallada,
expresada en notación matemática. Los procesos de diseño, implementación y prueba
de unidades se reemplaza por un proceso de transformaciones donde la especificación
formal se refina hasta llegar a un Software.