UAN: Example 2

• Clicking on a URL with temporal constraints

USER ACTION FEEDBACK SYSTEM STATE

mouse_down(x,y) if intersect(URL,x,y)

then colour(link)

mouse_up(x,y) if intersect(URL,x,y)

fetch(URL) URL = visited

What if after mouse_up() I click on another URL?

Two choices

A, B Must complete the first selection before making another

or

A <- B Can interrupt the first task by the second

Previous slide

Next slide

Back to first slide

View graphic version