algoritmos

Métodos Formales Orientados a Objetos
Francisco José Galán Morillo
José Miguel Cañete Valdeón
Dept. Lenguajes y Sistemas
Informáticos
ETSI Informática
Av. Reina Mercedes s/n, 41012 Sevilla
954552773
galanm@lsi.us.es
ÍNDICE
1. Introducción.
2. Definición de Método Formal Orientado a Objetos.
3. Descomposición en temas.
4. Justificación.
5. Matriz temas-referencias.
6. Lecturasrecomendadas.
Apéndice A-Lista de otras lecturas recomendadas.
1. INTRODUCCIÓN
El área de los Métodos Formales Orientados a Objetos (MFOO en
adelante) se ocupa de la descripción de software de manera
precisa y rigurosa. Tal objetivo obliga a la utilización de lenguajes
de especificación de software de naturaleza matemática.
Es interesante destacar, que en los últimos años se ha evidenciado
unacercamiento entre dos comunidades de ingeniería de software
aparentemente muy distintas: la “comunidad de los métodos
formales” y la “comunidad de los métodos convencionales”.
Syntropy [CoD94] y Catalysis [SoW98] representan dos buenos
ejemplos de este acercamiento. Históricamente, los métodos
formales centraron sus objetivos en la calidad, descuidando, en
gran medida, el entorno en elque debían aplicarse. La falta de
educación general y el déficit de herramientas los convirtieron en
recursos bastante ideales y difíciles de manejar. Si embargo, esta
crítica no recae sólo en el debe de los métodos formales. La
sistematización progresiva de la producción de software necesita
de notaciones expresivas y, evidentemente, formales. No hay
automatización sin formalización. Elcamino, sin duda, es largo y
las fertilizaciones cruzadas entre ambas comunidades, serán
necesarias.
La organización del presente documento es la siguiente: en la
sección 2 se establecen la definición de método formal orientado a
objetos, para ello, se definen los conceptos formal y orientación a
objetos. A continuación, se establece una organización del
conocimiento en el área MFOO medianteuna descomposición en
temas. La descomposición distingue conceptos básicos y
fundamentales, conocimientos sobre formalismos matemáticos y
métodos formales orientados a objetos. La sección 4 establece una
justificación razonada de la descomposición. La sección 5 permite
al lector identificar rápidamente las referencias de interés para un
determinado tema. Finalmente, se establece unaselección de las
referencias recomendadas.
2. DEFINICIÓN DE MÉTODO FORMAL
ORIENTADO A OBJETOS
Un MFOO es un conjunto de técnicas de modelado para
especificar, desarrollar y verificar sistemas software mediante el
uso del lenguaje matemático y características orientadas a
objetos [FM].
Por sistema software orientado a objetos se entiende, de forma
general, a toda colección de objetos que colaboranentre sí para
conseguir un propósito (objetivos del sistema software).
Muchos de los métodos formales presentes en la literatura
aparecen como métodos formales extendidos con conceptos de
orientación a objetos. Es decir, la existencia de un lenguaje formal
suele ser previa a la existencia del lenguaje orientado a objetos.
Este hecho ha condicionado en gran medida las diferentes
propuestasy así queda reflejado en el presente documento.
Dada la diversidad de trabajos y formalismos existentes en la
actualidad, es necesario establecer qué se entiende por formal y
qué se entiende por orientación a objetos. El término formal
queda caracterizado por la categoría de modelos matemáticos
utilizados. Ejemplos de formalismos son: lógica de primer orden,
álgebras, redes de Petri ylógica temporal. Por otra parte, el
término orientado a objeto queda caracterizado por los conceptos
de objeto, ocultación, interacción, abstracción, concurrencia,
clase, herencia, (sub)tipo y genericidad.
Los formalismos basados en lógica de primer orden y teoría de
conjuntos [MaW85] permiten especificar el sistema mediante un
concepto formal de estado y operaciones sobre estados. Con este...