Grupo de Ingeniería del Software Universidad de Málaga

Transcripción

1 GISUM Grupo de Ingeniería del Software Universidad de Málaga Carlos Canal Reunión Red de SOA y WS Sevilla 28 de Octubre de 2008

2 GISUM Formado por profesores e investigadores del Dpto. de Lenguajes y Ciencias de la Computación de la Universidad de Málaga creado en 1989 y dirigido por el Prof. José María Troya figura en el catálogo de grupos consolidados de investigación de la Junta de Andalucía en 1990, con referencia TIC-136 tiene su sede en la ETSI Informática y cuenta con laboratorios en el Parque Tecnológico de Andalucía (PTA) Objetivos el estudio de aspectos relativos a la ingeniería y desarrollo del software aplicados a sistemas distribuidos Actividades del grupo investigación básica y aplicada, transferencia tecnológica financiación pública (regional, nacional y europea) y privada 2

3 Miembros el grupo está formado actualmente por unos cincuenta profesores y un número similar de becarios y contratados el número de doctores del grupo ronda la treintena 3

4 Red de SOA y WS Antonio Vallecillo Titular de Universidad Ernesto Pimentel Catedrático de Universidad Carlos Canal Titular de Universidad Gwen Salaün Investigador Juan de la Cierva Nathalie Moreno Profesora Ayudante Javier Cámara Becario de Investigación Javier Cubo Becario de Investigación José Eduardo Rivera Contratado 4

5 Líneas de investigación Composición y adaptación de componentes y servicios uso de notaciones de coreografía WS-BPEL, Microsoft WWF verificación de compatibilidad y otras propiedades álgebras de procesos: CCS y LOTOS sistemas de transiciones etiquetadas (LTS) generación (semi-)automática de contratos de composición/adaptación uso de información semántica técnicas de análisis de grafos generación automática de adaptadores Herramientas Dinapter. Generación automática de contratos de adaptación Compositor. Herramienta visual para la especificación de contratos Clint. Análisis de realizabilidad Adaptor. Generación automática de adaptadores ITACA (en desarrollo) toolset para cubrir todas las etapas del proceso de adaptación 5

6 Líneas de investigación Interoperabilidad de aplicaciones modelado de aplicaciones Web usando técnicas basadas en MDD/MDA. integración de sistemas externos en sistemas para el dominio de la Web modelado de interfaces descripción conceptual de mecanismos de invocación localización del servicio, protocolos de comunicación, etc. formalización de coreografías y orquestaciones. Herramientas (en proceso de desarrollo) GlueWeb conecta, pega y resuelve posibles inconsistencias localizadas en la implementación de una aplicación Web diseñada utilizando distintos lenguajes de modelado y tecnologías de implementación. requisitos: aplicación web diseñada siguiendo una arquitectura de tres capas IU, lógica de la aplicación, datos) se requiere no solo la implementación de cada una de las capas sino también su modelo. 6

7 Proyectos en curso MOVIS: Modernización y visualización de sistemas de información complejos. Junta de Andalucía. Proyecto de excelencia P07-TIC a 2011 Antonio Vallecillo Técnicas para mejorar la fiabilidad y las prestaciones de los servicios de Internet sobre Telefonía Móvil. Junta de Andalucía. Proyecto de excelencia PB-TIC a 2011 Pedro Merino CARESS: Construcción y Adaptación de Servicios Software Fiables. MEC TIN a 2008 Ernesto Pimentel PICASSO: Propuesta Integrada para la CAlidad de Sistemas Software. Junta de Andalucía. Proyecto de excelencia P06-TIC a 2010 Ernesto Pimentel Desarrollo e implementación de sistemas distribuidos P2P seguros. Junta de Andalucía. Proyecto de excelencia P05-TIC a 2008 José María Troya Red de Desarrollo de software dirigido por modelos (DSDM). MEC (TIN E) a Antonio Vallecillo MDD-MERTS: Diseño y Monitorización Dirigido por Modelos de Sistemas Empotrados y de Tiempo Real. MEC TIN a Antonio Vallecillo Moreno 7

8 Publicaciones C. Canal, P. Poizat, and G. Salaün. Model-Based Adaptation of Behavioural Mismatching Components. IEEE Transactions on Software Engineering, 34(4): , C. Attiogbé, P. Poizat, and G. Salaün. A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Transactions on Software Engineering, 33(3): , C. Canal, L. Fuentes, E. Pimentel, J. M. Troya, and A. Vallecillo. Adding Roles to CORBA Objects. IEEE Transactions on Software Engineering, 29(8): , A. Brogi, C. Canal, and E. Pimentel. Component Adaptation Through Flexible Subservicing. Science of Computer Programming, 63(1):39 56, A. Brogi, C. Canal, and E. Pimentel. On the Semantics of Software Adaptation. Science of Computer Programming, 61(2): , N. Moreno and A. Vallecillo. Towards Interoperable Web Engineering Methods. Journal of the American Society for Information Science and Technology (JASIST),

9 Publicaciones J. Cámara, G. Salaün, and C. Canal. Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. Journal of Universal Computer Science, To appear. A. Bracciali, A. Brogi, and C. Canal. A Formal Approach to Component Adaptation. Journal of Systems and Software, 74(1):45 54, C. Canal, J. M. Murillo, and P. Poizat. Software Adaptation. L Objet., 12(1):9 31, Special Issue on Software Adaptation. N. Moreno and A. Vallecillo. "A Model-based Approach for Integrating Third Party Systems with Web Applications". In Proc. of the International Conference on Web Engineering (ICWE 05). J. Cámara, G. Salaün, and C. Canal. Clint: A Composition Language Interpreter (Tool Paper). In Proc. of FASE 08, volume 4961 of LNCS, pages Springer, N. Moreno, R. Romero and A. Vallecillo. "Incorporating Cooperative Portlets in Web Application Development". In Proc. of the Workshop on Model-driven Web Engineering (MDWE 05). N. Moreno and A. Vallecillo. "Modeling Interactions between Web Applications and Third Party Systems" In Proc. of the V International Workshop on Web Oriented Software Technologies (IWWOST'05). 9