l5 - CS 290C: Formal Models for Web Software Lecture 5:...

Info iconThis preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon
CS 290C: Formal Models for Web Software Lecture 5: Modeling and Verification of Adaptive Navigation Instructor: Tevfik Bultan
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Modeling Navigation with Session State We discussed navigation for statically linked pages However, nowadays many web applications use dynamically created pages Moreover, based on the status of the session, the links that are available for an application can change The following paper discusses modeling navigation in such cases: “Modeling and Verification of Adaptive Navigation in Web Applications” Minmin Han & Christine Hofmeister, ICWE 2006 What the authors call adaptive navigation is basically navigation with session state
Background image of page 2
Navigation and the Session State Based on the state of the session, navigation sequence may change For example Clicking on a link may send the user to the login page if the user is not logged in yet If the user is logged in then the destination page may be shown Navigation can also be influenced by the session history For example After the login page the next page that will be shown may depend on what the previous action was
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
How to Model Navigation with Session State Use statecharts Model session state as AND-sub-states For example, we can have a sub-state that keeps track of the login status Another sub-state can store the last action that was requested These states can be combined with the state machine that models the navigation links
Background image of page 4
Example: Blockbuster website Navigation model Page navigation Login status Previous request
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Example: Blockbuster website Movie list Page navigation Queue Login queue[in Logged-in] Login status Logged-in Logged- out queue[in Logged-out] login-success/logged-in logged-in logged-out
Background image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 18

l5 - CS 290C: Formal Models for Web Software Lecture 5:...

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online