Acceso a Webmail

Complejo Tecnológico, Campus de Teatinos 29071 Málaga. (España) Teléfono: +34 952133371 Fax: +34 952131397

Datos del PFC [Volver]

Titulación
X
Título
Desarrollo basado en componentes: integración de diagramas de secuencia y álgebras de procesos
Autor
Ignacio Pérez Martín
Directores
Canal Velasco, Carlos
Requisitos
-
Descripción
En la actualidad, el uso de las comunicaciones y más concretamente la comunicación a través de Internet son cada vez más frecuentes. Prueba de ello es el fuerte crecimiento que están teniendo los llamados Servicios Web y todas las tecnologías relacionadas con su desarrollo. Cada vez son más los clientes que deciden invertir en alguna aplicación distribuida, por lo que el desarrollo de este tipo de aplicaciones cobra un carácter primordial en el trabajo de cualquier informático. Un sistema distribuido consta de varios componentes software que interaccionan por medio de una red de comunicación. Por este motivo, un aspecto fundamental en el desarrollo de estos sistemas es el diseño de los patrones de interacción entre sus componentes. Dichos patrones de interacción son normalmente representadas mediante secuencias de mensajes intercambiadas entre los componentes. Recientemente, UML 2.0 ha adoptado el uso de Diagramas de Secuencia de Mensajes (Message Sequence Charts, MSC) para la descripción de las interacciones entre componentes. Existen diversas herramientas CASE que incorporan la posibilidad de especificar este tipo de diagramas. Por otro lado, en el ámbito de las telecomunicaciones, y más concretamente dentro de las llamadas Técnicas de Descripción Formal (TDF), existen herramientas como TAU o SDT que permiten simular o animar las especificaciones y generar código, así como realizar algunas formas simples de análisis de las mismas. Por último, en el ámbito de las Métodos Formales, una de las líneas de trabajo más relevantes en el campo de la especificación de modelos de software concurrente y dinámico son las álgebras de procesos, como CCS o el cálculo-p, que permiten realizar comprobaciones de compatibilidad, subtipado y sustitución de componentes de forma relativamente sencilla. Sin embargo, el carácter formal que tienen estas notaciones y la falta de herramientas gráficas y sencillas de utilizar basadas en ellas, dificultan su uso a nivel industrial. Objetivos El trabajo propuesto tiene como objetivo la integración de las técnicas de desarrollo, notaciones y herramientas mencionadas anteriormente, con objeto de conseguir reunir los beneficios que ofrece cada una de ellas, en particular sus capacidades de edición, animación, generación de código y análisis. Fases La realización de este proyecto se divide en varias fases: · En primer lugar se realizará un estudio de las herramientas CASE actualmente disponibles que permitan la especificación del comportamiento de componentes utilizando el estándar de MSCs de UML 2.0, con objeto de seleccionar la que se usará como punto de partida en el desarrollo de este Proyecto. · Una vez seleccionada la herramienta de especificación, se procederá a un estudio del estándar MSC adoptado por UML 2.0, con objeto de determinar el subconjunto del mismo sobre el que se efectuará el trabajo (lenguaje origen), dado que MSC es una notación demasiado amplia como para contemplarla en su totalidad dentro del desarrollo de este proyecto. · A continuación, se procederá a decidir el álgebra de procesos que se utilizará como lenguaje destino, en base a su capacidad de expresar el conjunto de MSC determinado en el punto anterior, y a la existencia y facilidad de uso de las herramientas de análisis disponibles. · Se diseñarán e implementarán entonces los mecanismos de traducción entre las notaciones fuente y destino, a través de la cual se hará la integración de las mismas, teniendo siempre en cuenta las limitaciones que a este aspecto imponga la diferente expresividad de cada una de las notaciones. · Por último, se mostrará la viabilidad de la propuesta por medio de un caso de estudio de una aplicación distribuida (por ejemplo, un sistema de multiconferencia), procediendo a la especificación del comportamiento del mismo y al análisis de las posibilidades de integración/adaptación en él de componentes heterog........
Otros
-
Fecha
3/10/05
Fecha lectura
-
Url
-
Documento
-