Conformance of navigational behavioural to requirements using animation

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.

[1]  Neil A. M. Maiden,et al.  Storyboarding Requirements , 2010, IEEE Software.

[2]  Neil A. M. Maiden,et al.  Developing use cases and scenarios in the requirements process , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[3]  David Notkin,et al.  Model checking large software specifications , 1996, SIGSOFT '96.

[4]  Dimitra Giannakopoulou,et al.  Graphical animation of behavior models , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[5]  Marco Winckler,et al.  StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications , 2003, DSV-IS.

[6]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[7]  Linda S. Milor,et al.  Performance Modeling Using , 1995 .

[8]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[9]  Joanne M. Atlee,et al.  Feasibility of model checking software requirements: a case study , 1996, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.

[10]  Gustavo Rossi,et al.  Modeling and Composing Navigational Concerns in Web Applications. Requirements and Design Issues. , 2006, 2006 Fourth Latin American Web Congress.

[11]  Betty H. C. Cheng,et al.  Research Directions in Requirements Engineering , 2007, Future of Software Engineering (FOSE '07).

[12]  Philippe Massonet,et al.  Goal-oriented requirements animation , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[13]  Patricia Vilain,et al.  Modeling Interactions and Navigation in Web Applications , 2000, ER.

[14]  Srihari Sukumaran,et al.  A Rigorous Approach to Requirements Validation , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[15]  Murray Shanahan,et al.  The Event Calculus in Classical Logic - Alternative Axiomatisations , 1999, Electron. Trans. Artif. Intell..

[16]  James E. Rumbaugh,et al.  Unified Modeling Language (UML) , 2010, Encyclopedia of Software Engineering.

[17]  Harald C. Gall,et al.  Visual requirements validation: case study in a CORBA-supported environment , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[18]  Siu-Ming Yiu,et al.  Modeling Web navigation by statechart , 2000, Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000.

[19]  María José Escalona Cuaresma,et al.  The treatment of navigation in web engineering , 2007, Adv. Eng. Softw..

[20]  Christine Hofmeister,et al.  Modeling and verification of adaptive navigation in web applications , 2006, ICWE '06.

[21]  Ranga Vemuri,et al.  Performance Modeling Using PDL , 1996, Computer.

[22]  Suzanne Robertson,et al.  Developing use cases and scenarios in the requirements process , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[23]  Nora Koch,et al.  Requirements Engineering for Web Applications - A Comparative Study , 2004, J. Web Eng..

[24]  Sebastián Uchitel,et al.  Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..