Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos

Abstract

La primera etapa del trabajo consistió en el análisis de las diferentes técnicas de modelado orientado a objetos y su influencia sobre el proceso de desarrollo de software basado en modelos. Este análisis nos condujo a reconocer las claras ventajas que ofrece la integración de técnicas de modelado formales con técnicas no formales aceptadas y usadas por los ingenieros de software típicos. El siguiente paso consistió en estudiar las propuestas existentes acerca de cómo efectivizar la mencionada integración, con el objetivo de identificar aspectos potencialmente mejorables. Finalmente y como consecuencia del análisis previo, definimos una nueva propuesta de integración la cual aporta los beneficios esperados para un método de integración standard pero además incorpora ciertas características que no han sido cubiertas satisfactoriamente por las propuestas anteriores, tales como evolución, reusabilidad y métricas de modelos. Además nuestra propuesta se basa en una estructura formal de primer orden que, en contraste con las estructuras de orden superior, facilita los procedimientos para calcular la validez de las fórmulas. La parte restante de esta tesis está organizada de la siguiente forma: En los capítulos 2 y 3 describimos detalladamente un lenguaje gráfico de especificación (UML) y un lenguaje formal (Lógica Dinámica) respectivamente. En el capítulo 4 discutimos las distintas propuestas para lograr la integración de ambas técnicas. En el capítulo 5 presentamos nuestra propuesta: la M&D-theory. El capítulo 6 contiene ejemplos de los principales beneficios standard provistos por la M&D-theory. En los capítulos 7, 8 y 9 demostramos la utilidad de nuestra formalización para expresar evolución de modelos, métricas de calidad y temas de reuso tales como contratos y patrones de diseño. Finalmente el capítulo 10 contiene conclusiones, reflexiones y comentarios acerca del trabajo presentado.