• Post Reply
  • Bookmark Topic Watch Topic
  • New Topic

Prepare Itinerary & Pay Itinerary

 
Venkat Kiran
Greenhorn
Posts: 7
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
Hello Friends,

I have a question with respect to the Prepare Itinerary use case and Pay Itinerary use case. The pre condition for Prepare Itinerary use case states that the User must logged in and must be an exisiting customer before confirming the Itinerary and then the Pay Itinerary use case is executed, and when the Pay Itinerary is getting executed the user is always logged,but the pre condition of Pay Itinerary states that user must be logged in & must be an exixting customer, i feel this pre condition is duplicated across use cases as Pay for Itinerayr will be executed after Prepare Itinerary only. Is my thinking correct. Any views are higly appreaciated.

Regards
Venkat
 
Richard Bourner
Greenhorn
Posts: 12
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
Hi,

i remember from another post that a pre-condition is not necessarily an invariant.

Hope that helps,

Richard.
 
  • Post Reply
  • Bookmark Topic Watch Topic
  • New Topic