Integració de tècniques per a la comprovació eficient de restriccions d'integritat en la generació de programari per entorns web

Estudi elaborat a partir d’una estada al Politecnico de Milano, Itàlia, entre gener i juny del 2006. Un dels principals objectius de l’Enginyeria del Programari és automatitzar el màxim possible el procés de desenvolupament del programari, reduint costos mitjançant la generació automàtica del programari a partir de la seva especificació. Per assolir-ho, entre altres, cal resoldre el problema de la comprovació eficient de restriccions, que són una part fonamental de l’especificació del programari. Aquest és precisament l’àmbit en què s’està desenvolupant una tesi que presentarà un mètode que poden integrar totes les eines generadores de codi per tal d’assolir una implementació eficient de les restriccions d’integritat. En l’actual fase del projecte s’ha treballat per validar el mètode de la tesi, optimitzant-lo pel cas específic de les aplicacions web i estendre’l per poder tractar també aplicacions basades en workflows. Pel que fa a l’optimització del mètode per aplicacions web, s’han definit una sèrie de paràmetres que permeten configurar la implementació del mètode tenint en compte les necessitats específiques de rendiment de cada aplicació web en particular. Respecte als workflows (cada cop més populars i que s’usen com a definició d’alt nivell per a les aplicacions a desenvolupar) s’ha estudiat quins són els tipus de restriccions que impliquen i com després es pot aplicar el mètode de la tesi sobre aquestes restriccions per tal de generar de forma eficient també les aplicacions basades en workflows.

Report for the scientific sojourn at the Politecnico de Milano, Italy , from january until june 2006. One of the main goals of the software engineering, is to automate as much of the software development process as possible, cutting the costs of software development by means of automatically generating the implementation of the software system from its specification. Fulfilling this goal requires, among others, enforce the integrity constraints. Therefore, given a set of integrity constraints, a code-generation tool must be able t generate the elements (data structures and/or algorithms) required to check them efficiently. This is the topic of the author’s PhD Thesis. The thesis presents a method that can be adopted by any code-generation tool to get an efficient implementation of the integrity constraints.In this context, the current phase of the project consisted on: 1-validating the method of the thesis with additional examples, 2-optimizing it for the specific case of the web applications and 3-extending it to ideal with workflow-based applications.Reading the method optimization for web applications, we proposed several parameters that permit to tune the method implementation depending on the specific performance requirements of each web application. With respect to the workflows, we studied the set of constrains a workflow specification implies and how we can, then, apply the method over these constrains to generate efficient workflow-based applications as well.