On the Quality of Navigation Models with Content-Modification Operations

Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to include content-modification functionalities. As a consequence, we believe that existing quality properties for web model designs must be complemented with new property definitions. In particular, we propose two new quality properties that take the relationship between navigation models and the related data models into account. The properties check if navigation models include all necessary content-modification operations and whether all possible navigation paths modify the underlying data in a consistent way. In this paper, we show how to determine if a navigation model verifies both properties and also how to, given a data model, automatically generate a preliminary navigation model satisfying them.