Definiendo un marco riguroso para diseñar un lenguaje de modelado de software confiable y consistente para la web

En esta Línea de Investigación, nos proponemos encontrar los mecanismos para conformar un marco riguroso dentro del cual abordar importantes fallas de calidad, de escalabilidad, de rendimiento (performance) y de seguridad (entendida como confidencialidad) que presentan los sitios Web y sus aplicaciones, con el fin de encontrar una formalización de las especificaciones de las aplicaciones Web, bajo la premisa de que un proceso de desarrollo confiable y consistente debe estar sustentado por modelos conceptuales que tengan la expresividad necesaria, para poder especificar las singularidades que encontraremos en el espacio de problemas de las aplicacionesWeb. La Ingeniería del Software, aplicada en el contexto de las aplicaciones Web, requiere de la disponibilidad de lenguajes de alto nivel que permitan especificar con precisión las propiedades de interés, como así también resulta necesario disponer de algoritmos que permitan verificar dichas propiedades, una vez expresadas en el lenguaje adecuado. La simplicidad de los lenguajes de especificación basados en reglas y la cercanía de éstos con determinadas clases de lógicas y autómatas, sugieren su empleo en las tareas de modelado de sitios Web.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Program Transformations for Information Personalization

Personalization constitutes the mechanisms necessary to automatically customize information content, structure, and presentation to the end user to reduce information overload. Unlike traditional approaches to personalization, the central theme of our approach is to model a website as a program and conduct website transformation for personalization by program transformation (e.g., partial evaluation, program slicing). The goal of this paper is study personalization through a program transformation lens and develop a formal model, based on program transformations, for personalized interaction with hierarchical hypermedia. The specific research issues addressed involve identifying and developing program representations and transformations suitable for classes of hierarchical hypermedia and providing supplemental interactions for improving the personalized experience. The primary form of personalization discussed is out-of-turn interaction—a technique that empowers a user navigating a hierarchical website to postpone clicking on any of the hyperlinks presented on the current page and, instead, communicate the label of a hyperlink nested deeper in the hierarchy. When the user supplies out-of-turn input, we personalize the hierarchy to reflect the user\u27s informational need. While viewing a website as a program and site transformation as program transformation is non-traditional, it offers a new way of thinking about personalized interaction, especially with hierarchical hypermedia. Our use of program transformations casts personalization in a formal setting and provides a systematic and implementation-neutral approach to designing systems. Moreover, this approach helped connect our work to human-computer dialog management and, in particular, mixed-initiative interaction. Putting personalized web interaction on a fundamentally different landscape gave birth to this new line of research. Relating concepts in the web domain (e.g., sites, interactions) to notions in the program-theoretic domain (e.g., programs, transformations) constitutes the creativity in this work

Web Application Transformations based on Rewrite Rules

During the evolution phase, the structure (pages and links) of a Web application tends unavoidably to degrade. A solution to reverse this degradatin can be restructuring the Web application, but this work may take a lot of time and effort if conducted without appropriate tools. Tehe theory of rewrite rules has been used with success in many real restructuring works on traditional software. our idea is trying to apply rewrite rules to Web applications with the aim of restructuring them. The purpose of this paper is threefold: to describe some examples of HTML transforms improving the quality of Web applications, to present some details about the implementation of a tool, based on rewrite rules, that can help designers in Web application restructuring, and to describe the results obtained on some real world application