My main interests in this area are the integration of integrity constraint support in current web development methods and the quality assessment of naviagion models that include not only read operations over the system data but also content-modification (insert/update/delete) operation to modify that data. More recently, I have also been doing some research on the definition of refactorings for web navigation models with the goal of improving the internal structure of this kind of models.

Regarding the first research line, we studied the application of my method for an efficient checking of integrity constraints to the specific case of web applications, since most web development methods largely ignore the specification (and code-generation) of integrity constraints.

Regarding the second topic, we have proposed two quality properties that all navigation models with content-modification operations should satisfy in order to be semantically correct. Our properties go beyond the classical syntactic or structural verifications (that, for instance, check that all pages are accessible from the home page) and address the relationship between the navigation model and its corresponding data model. In particular, we check that if navigation models include all necessary content-modification operations and whether all possible navigation paths modify the underlying data in a consistent way. More details here.