Resumen de Formalización y representación de especificaciones computacionales
Durante la última década hemos asistido a una revolución en cuanto a la normalización internacional en aspectos relacionados con las Tecnologías de la Información se refiere, Un ejemplo relevante es el caso de UML, que se ha convertido en el estándar más utilizado como lenguaje de modelado de sistemas. Otro importante estándar es RM-ODP, cuya autoría corresponde a las organizaciones ISO/IEC e ITU-T, que plantearon a mediados de los 90 una serie de normas para el desarrollo de aplicaciones abiertas y distribuidas definiendo los conceptos, mecanismos y servicios apropiados. Este modelo de referencia proporciona una arquitectura basada en la separación de conceptos mediante cinco puntos de vista diferenciados y la definición de lenguajes abstractos para cada uno de ellos. Además, integra aquellos temas relacionados con la distribución, interoperabilidad y portabilidad, así como otros aspectos propios de estos sistemas: flexibilidad, calidad de servicio, modularidad, federación, etc.
La difusión y aceptación de los estándares requiere no sólo tiempo, sino también la disponibilidad de soportes y herramientas que faciliten su uso. Por ello, este trabajo de tesis propone una serie de notaciones concretas para la formalización y representación del punto de vista computacional de RM-ODP, encargado de la especificación funcional de los objetos computacionales, y de su interacción a través de interfaces, de un sistema abierto y distribuido. Cada una de estas notaciones está orientada a un tipo específico de usuario interesado en RM-ODP. Para ello, se propone Maude como formalismo, debido a su expresividad, alto rendimiento y capacidad de ejecución, y UML 2 como representación gráfica, menos formal pero ampliamente extendida entre los ingenieros software. Finalmente, para reducir distancias entre estas notaciones, el desarrollo de software dirigido por modelos permite definir transformaciones automáticas entre ambos mundos, de modo que ingenieros no expertos en formalismos tomen también provecho, a partir de sus modelos UML, de las capacidades de verificación de propiedades, comprobación de modelos y simulación y ejecución temprana que proporciona Maude.
