The Library Example
Consider the following description:
The description is incomplete as all interactions are not shown. Try and complete the interactions and enact the description.
NB: To add a secondary actor and also choose its pre/poststates, click once on the ActorII cell where you want the secondary actor to appear. For instance, to add Borrower as secondary actor for event 5, we click once on that events' ActorII cell and get the following dialog:
Then modify the elements as appropriate. Suppose Borrower states are card presented and awaitingValidation; we end up with:
NB: The Conditions menu on the main menu bar can be used to add pre/postconditions as you write the description.
Good luck with it!