Start v_BrowserStarted v_BaseURL REQTAG=UC01 2.2.1 v_SearchResult REQTAG=UC01 2.2.2 v_BrowserStopped v_BookInformation REQTAG=UC01 2.2.3 v_OtherBoughtBooks v_ShoppingCart REQTAG=UC01 2.3 e_init / num_of_books = 0; MAX_BOOKS = 5; e_EnterBaseURL e_SearchBook e_StartBrowser e_ClickBook e_AddBookToCart [num_of_books<=MAX_BOOKS] / num_of_books++; e_ShoppingCart e_ShoppingCart e_ShoppingCart e_SearchBook e_SearchBook e_SearchBook