I am having some trouble understanding how to make SDDs, as I don't fully grasp why in some cases one should define operations for System -> Actor and in others don't. Here is an example:

1) The User tells the System that wants to buy some tickets, stating his client number.
2) The System confirms that the given client number is valid.
3) The User tells the System the movie that wants to see.
4) The System shows the set of available sessions and seats for that movie.
5) The System asks the user which session/seat he wants.
6) The user tells the System the chosen session/seat.

This would be converted to:

a) -----> tellClientNumber(clientNumber)
b) <----- validClientNumber
c) -----> tellMovieToSee(movie)
d) <----- showsAvailableSeatsHours
e) -----> tellSystemChosenSessionSeat(session, seat)

I know that when we are dealing with SDD's we are still far away from coding. But I can't help trying to imagine how it how it would have been had I to convert it right away to code:

I can understand 1) and 2). It's like if it was a C#/Java method with the following signature:

boolean tellClientNumber(clientNumber)

so I put both on the SDD.

Then, we have the pair 3) 4). I can imagine that as something as:

SomeDataStructureThatHoldsAvailableSessionsSeats tellSystemMovieToSee(movie)

Now, the problem:

From what I've come to understand, my lecturer says that we shouldn't make an operation on the SDD for 5) as we should only show operations from the Actor to the System and when the System is either presenting us data (as in c)) or validating sent data (such as in b)).

I find this odd, as if I try to imagine this like a DOS app where you have to put your input sequencially, it makes sense to make an arrow even for 5). Why is this wrong? How should I try to visualize this?

Thanks