Title: Conformance of navigational behavioural to requirements using animation

Authors: Joumana Dargham; Rima Semaan; Hamid Mcheick

Addresses: Department of Computer Science, University of Balamand, P.O. Box 100, Al-Koura, Lebanon. ' Department Computer Science, American University of Beirut, P.O. Box 11-0236, Beirut, Lebanon. ' Université du Québec à Chicoutimi, 555, Boulevard de l'Université, Chicoutimi Québec G7H-2B1, Canada

Abstract: The web has become closely ingrained with our life and massive effort for web development and maintenance continues to take place in an ad hoc manner, resulting in poor quality web systems and applications. Problems such as outdated or irrelevant information, difficulties in using the website, website crashes, and security breaches are common. We encounter these kinds of problems because web developers failed to address users' needs along with the improper appliance of the web engineering process in all its phases. As a consequence, web engineering and more precisely web requirements engineering is becoming of major importance in the web development process. In this context, this work tackles the validation of the navigational requirements of a web application. A methodology named NRVA is introduced in order to validate the navigational requirements for correctness, consistency, and completeness. It is based on the generation of an XML document defining the navigational rules of the application and used as input to the animator. The supporting tool to the approach does not only validate the correctness of the generated requirements, but also it aids to the elaboration and enhancement of those requirements through visualisation.

Keywords: conformance; navigational behaviour; web engineering; finite state machines; model checking; requirements animation; web requirements engineering; visualisation.

DOI: 10.1504/IJWET.2012.045766

International Journal of Web Engineering and Technology, 2012 Vol.7 No.1, pp.65 - 91

Published online: 16 Aug 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article