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

Abstract

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.