Diseño de herramientas para el diagnóstico, verificación y reparación de Sistemas Web

Existe una gran cantidad de aplicaciones Web, en uso o en avanzado proceso de diseño/implantación, orientadas a temas de alta sensibilidad: salud, finanzas, defensa, aplicaciones críticas, e-business, e-government, etc. La reciente expansión de dichas aplicaciones no ha venido acompañada por el desarrollo de métodos, modelos y herramientas de verificación que permitan acotar, evaluar y corregir los aspectos relacionados con su confianza y con su seguridad. El crecimiento casi explosivo de las aplicaciones Web requiere de métodos, modelos y herramientas de verificación altamente eficaces y, al mismo tiempo, de muy alta productividad, si tenemos en cuenta el volumen de los trabajos que vayamos a realizar. Cuando navegamos por un sitio Web es común encontrar un número de páginas que tienen una estructura similar pero con diferentes contenidos. Esto pasa muy a menudo cuando las páginas son generadas dinámicamente con información que proviene de una base de datos (ej., el sitio Web de Amazon). Esta situación puede hacer impracticables los análisis, a menos que seamos capaces de proveer un mecanismo para reducir drásticamente la talla del sitio Web. Por su carácter crítico, los métodos, modelos y herramientas utilizados en este área deben además ser aptos para trabajar "en tiempo de ejecución" de las aplicaciones Web (en servicio) a ser analizadas. Finalmente, los fallos de calidad deben ser detectados con precisión para que, de esta manera, se puedan aplicar estrategias de reparación (idealmente) automáticas que permitan obtener sitios web que sean correctos y completos con respecto a una especificación o modelo conceptual de los mismos. En este sector podemos diseñar modelos y herramientas para analizar y certificar eficazmente diferentes propiedades de calidad y rendimiento de un sitio Web. Dichas técnicas permiten además detectar y corregir no sólo posibles errores en los enlaces o en la estructura, sino también en la semántica del sistema Web.

Aplicaciones

  • Verificación, transformación y reparación de sitios Web.
  • Análisis, certificación y optimización de sitios Web, servicios Web y aplicaciones orientadas a la Web.
  • Model-checking y técnicas de análisis y transformacion orientadas a la Web semántica. //
  • Formal models for describing and reasoning about Web sites.
  • Rule-based approaches to the analysis, certification, specification, verification, debugging, transformation and optimization of Web sites, Web services and Web-based applications.
  • Model-checking, abstract interpretation and program transformation applied to the semantic Web.

Ventajas técnicas

  • Mayor precisión en los resultados y errores detectados. // Higher accuracy and coverage.

Beneficios que aporta

  • Revisión automática de información en la Web
  • Consistencia
  • Filtrado de datos // Automated revision of Web contents, Consistency, Data filtering

Experiencia relevante

  • El grupo ELP, creado en 1989, está identificado en el registro de grupos de investigacion consolidados de la Generalitat Valenciana desde Octubre de 2000 (clave GR-00143). La actividad del grupo se ha relacionado principalmente con los lenguajes de programación multiparadigma y los métodos rigurosos para el desarrollo del software, focalizando en la programación basada en reglas y el uso de técnicas de interpretación abstracta y técnicas de transformación para la optimización de la ejecución de los programas. Los lenguajes basados en reglas han sido también la base para la programación inductiva y para la representación de modelos complejos, pero a su vez, comprensibles, resultantes de la extracción de conocimiento a partir de datos (minería de datos). El grupo ELP ha participado en más de 30 proyectos competitivos financiados con fondos europeos, nacionales y comunitarios. Su actividad investigadora se ha desarrollado a menudo en conexión con grupos afines radicados en universidades extranjeras, incluyendo Alemania (RWTH Aachen, U. de Kiel), Australia (Monash U.), Austria (Technische Universitat Wien), Estados Unidos (U. of Illinois at Urbana-Champaign, National Research Laboratory, Portland State U., Washington, Stanford), Francia (-'Ecole Polytechnique, U. Grenoble, U. Niza, U. de Paris Sud), Italia (U. di Pisa, U. di Siena, U. di Udine) y Reino Unido (U. Bristol). El grupo ha participado en diversos proyectos con empresas donde se ha transferido el conocimiento del grupo o se ha desarrollado tecnología específica. El abanico de sectores en los que el grupo ha trabajado incluye, lógicamente, empresas de informática y consultoría, pero también empresas que van desde del ámbito de la distribución a la gestión hospitalaria. // The group ELP, created in 1989, was recognized as a consolidated group of the Valencian Government in October 2000 (reference GR-00143). The group's activities have mainly focused on multi-paradigm programming languages and rigurous methods for software development, with particular focus on rule--based programming, and the use of abstract interpretation and program transformation techniques for the optimization of program execution. Rule-based languages have been also used for inductive programming and complex model representation that are also comprehensible as a result of knowledge discovering (data mining). The ELP group has participated in more than 30 competitive research projects funded by the EU, the Spanish Research Funding Agency, and other European foundations. The group keeps a good record of international collaborations. Including Germany (RWTH Aachen, U. Kiel), Australia (Monash U.), Austria (Technische Universit-"at Wien), USA (U. of Illinois at Urbana-Champaign, National Research Laboratory, Portland State U., Washington, Stanford), France (-'Ecole Polytechnique, U. Grenoble, U. Niza, U. Paris Sud), Italy (U. di Pisa, U. di Siena, U. di Udine) and UK (U. Bristol). The Group also keeps a good record of collaboration with industry, including IT companies as well as hospital management and distribution companies.