Transformación Formal
4
T ransformación Formal: Un modelo matemático del sistema se transforma formalmente en la implementación. M O DEL O T RANSF O RM ACI O NF O RM AL S e b as an en l a e sp ec i fi ca ci ón f or m al de l sistema, a tr avé s de un a not ac i ón m a t em á t i ca , y en una se r i e d e t r a ns f orm ac i on es d e e st a e sp ec i fi ca ci ón enpr og r am as . 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 denirse más detalles, especicar sus dimensiones nales, a!re!ar caracter"sticas personali#adas, determinar los materiales de construcción, pero el estilo $un %&est"bulo central colonial') orienta al constructor en su traba(o. l soft*are construido para sistemas basados en computadora también tiene uno de muc+os estilos arquitectónicos. Cada estilo describe una cate!or"a de sistemas que inclue -) un con(unto de componentes $como una base de datos o
Transcript of Transformación Formal
7/17/2019 Transformación Formal
http://slidepdf.com/reader/full/transformacion-formal 1/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 estiloarquitectónico también es una plantilla para la construcción. Deben denirsemás detalles, especicar sus dimensiones nales, a!re!ar caracter"sticaspersonali#adas, determinar los materiales de construcción, pero el estilo $un%&est"bulo central colonial') orienta al constructor en su traba(o. l soft*areconstruido para sistemas basados en computadora también tiene uno demuc+os estilos arquitectónicos. Cada estilo describe una cate!or"a de sistemasque inclue -) un con(unto de componentes $como una base de datos o
7/17/2019 Transformación Formal
http://slidepdf.com/reader/full/transformacion-formal 2/4
módulos de cómputo) que reali#an una función requerida por el sistema, ) uncon(unto de conectores que permiten la %comunicación, coordinación cooperación' entre los componentes, /) restricciones que denen cómo seinte!ran los componentes para formar el sistema 0) modelos semánticos quepermiten que un dise1ador entienda las propiedades !enerales del sistema alanali#ar las propiedades conocidas de sus partes constituentes 23as4/5. Unestilo arquitectónico es una transformación que se impone al dise1o de todo elsistema. l ob(eti&o es establecer una estructura para todos los componentesdel sistema. n el caso en el que +a de +acerse la rein!enier"a de unaarquitectura a e6istente $&éase el cap"tulo 7), la imposición de un estiloarquitectónico dará como resultado cambios fundamentales en la estructuradel soft*are, incluida la reasi!nación de las funciones de los componentes23os445. Un patrón arquitectónico, como un estilo de arquitectura, impone latransformación del dise1o de una arquitectura. 8in embar!o, un patrón dierede un estilo en &arias formas fundamentales: -) el alcance del patrón es menosamplio se centra en un aspecto de la arquitectura más que en el total deésta, ) un patrón impone una re!la a la arquitectura, describe la manera en la
que el soft*are mane(ará ciertos aspectos de su funcionalidad en el ni&el de lainfraestructura $por e(emplo, la concurrencia) 23os445, /) los patronesarquitectónicos $&éase la sección 7.0) tienden a abocarse a aspectosespec"cos del comportamiento en el conte6to de la arquitectura $por e(emplo,cómo mane(arán la sincroni#ación o las interrupciones las aplicaciones entiempo real). 9os patrones se utili#an (unto con un estilo arquitectónico paradar forma a la estructura
odelo de Transformación Formal
Editar 6125…
MODELO DE TRANSFORMACIÓN FORMAL
Este modelo, propuesto por Robert Balzer en 1983, aplica una serie detransformaciones usando un soporte automatizado para convertir una especificaciónformal (modelo matemático) en un sistema implementable (eecutable)! Es decir, esteparadi"ma intenta automatizar las etapas de dise#o e implementación utilizando elconcepto de transformación! $ambi%n se denomina a este paradi"ma &'ntesis
utomática de &oftare!
*ases+
• nálisis de reuisitos
• Especificación formal
7/17/2019 Transformación Formal
http://slidepdf.com/reader/full/transformacion-formal 3/4
• $ransformación
• -nte"ración del sistema final
.a especificación formal se convierte en forma sistemática en una representación más
detallada del sistema, matemáticamente correcta! /ada paso a"re"a detalle 0asta ue
la especificación formal se convierte en un pro"rama euivalente! /omo 0a muc0os
caminos a se"uir desde la especificación 0asta el sistema final, la secuencia de
transformaciones su ustificación se reflean en un re"istro formal de desarrollo! &e
utilizan t%cnicas de validación del modelo matemático, como la &imulación!
.a especificación de reuisitos se refina en una especificación formal detallada,
e2presada en notación matemática! .os procesos de dise#o, implementación prueba
de unidades se reemplaza por un proceso de transformaciones donde la especificación
formal se refina 0asta lle"ar a un &oftare!
7/17/2019 Transformación Formal
http://slidepdf.com/reader/full/transformacion-formal 4/4
