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
Formalización de especificaciones de coreografía para el desarrollo de Servicios Web
Autor
Rafael Báez Muñoz
Directores
Canal Velasco, Carlos
Requisitos
-
Descripción
De forma gradual, los Servicios Web están cobrando cada día más importancia debido a la generalización en su uso por parte de organizaciones y empresas en un amplio abanico de aplicaciones, como por ejemplo planificadores de viajes o servicios financieros. La integración de estos servicios facilita la cooperación entre diferentes organizaciones, dando lugar a un nuevo escenario de colaboraciones y oportunidades en numerosos campos. Desafortunadamente, las técnicas empleadas para modelar, buscar, componer y usar dichos servicios dejan bastante que desear, por lo que el desarrollo de Servicios Web integrados es todavía una tarea larga y costosa. La necesidad de disponer de un mayor grado de automatización en la composición de Servicios Web ha generado una importante línea de investigación que persigue alcanzar este objetivo. La industria del software también dedica un importante esfuerzo a solucionar el problema de la interoperabilidad, a través de organizaciones como W3C o WS-I. Estas organizaciones promueven el desarrollo de aplicaciones y servicios que sean capaces de interactuar entre ellos de una forma simple y eficiente a través de Internet, independientemente de la plataforma y el lenguaje usado. Actualmente, los lenguajes de descripción tipo WSDL solamente capturan información estática sobre la signatura y dirección de las operaciones soportadas por el Servicio Web. Con objeto de mejorar el nivel de expresividad de estas descripciones, se han desarrollado dos enfoques conceptuales principales: el enfoque estándar basado en la sintaxis y el enfoque ontológico basado en la semántica. El enfoque estándar basado en la sintaxis consiste básicamente en describir el orden en que se intercambian los mensajes entre los servicios. Los dos principales lenguajes de descripción de este flujo de mensajes son: WSBPEL (Web Services Business Process Execution Language), anteriormente conocido como BPEL4WS), ampliamente utilizado por la industria y respaldado por importantes compañías, lo que lo ha convertido en un estándar de facto, y WS-CDL (Lenguaje de Descripción de Coreografías de Servicios Web), la última de las propuestas dadas por el W3C, tras WSCI. WSBPEL se está convirtiendo en un estándar para la industria, y proporciona un enfoque realista a través del cual poder conseguir ciertas formas de automatización. El hecho de poder añadir información sobre el protocolo usado por servicios que interactúan, combinado con el uso de técnicas de adaptación basadas en la teoría formal a través de un álgebra de procesos, permitirá establecer fundamentos sólidos para conseguir una plena integración de los diferentes servicios, aprovechando toda la investigación ya realizada previamente sobre este campo. Por otro lado, 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 procederá a un estudio de la notación WSBPEL, con objeto de determinar el subconjunto del mismo sobre el que se efectuará el trabajo, dado que WSBPEL es una notación demasiado amplia como para contemplarla en su totalidad dentro del desarrollo de este proyect........
Otros
-
Fecha
10/10/05
Fecha lectura
-
Url
-
Documento
-