posted 17 years ago
hi, Francesco,
your question maybe relate with how you draw your sequence diagram. is it a big one or different diagram for each use case? if you choose the former, the pre/post condition is not a problem for your operation procedures are all in one diagram. if you draw them in different small diagrams, the pre/post condition means it is drawed in other diagram. you need to link them togethor to express the relationship.