1 / 3

Prec : true register_event ( WWW04, 17 May 2004, 22 May 2004 )

Daniela’s eService. Prec : true register_event ( WWW04, 17 May 2004, 22 May 2004 ) Output : failure_notification Eff : registered_event = false. Prec : true register_event ( WWW04, 17 May 2004, 22 May 2004 ) Output : success_registration_notification Eff : registered_event = true.

kamala
Télécharger la présentation

Prec : true register_event ( WWW04, 17 May 2004, 22 May 2004 )

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Daniela’s eService Prec: true register_event (WWW04, 17 May 2004, 22 May 2004) Output: failure_notification Eff: registered_event = false Prec: true register_event (WWW04, 17 May 2004, 22 May 2004) Output: success_registration_notification Eff: registered_event = true the parameters hotel_name, date_leave, date_back are instantiated with valid values Prec: true book_plane (Rome, date_leave, New York, date_back) Output: success_plane_booking Eff: booked_plane = true Prec: true book_plane (Rome, date_leave, New York, date_back) Output: failure_notification Eff: booked_plane = false Prec: true book_hotel (hotel_name, New York, date_leave, date_back) Output: success_hotel_booking Eff: booked_hotel = true Prec: true book_hotel (hotel_name, New York, date_leave, date_back) Output: failure_notification Eff: booked_hotel = false

  2. Rick’s eService Prec: true book_plane (Newark, 01 June 2004, Atlanta, 02 June 2004) Output: failure_notification Eff: booked_plane = false Prec: true book_plane (Newark, 01 June 2004, Atlanta, 02 June 2004) Output: success_plane_booking Eff: booked_plane = true Prec: true register_event (Data Grid Net, 01 June 2004, 02 June 2004) Output: failure_notification Eff: registered_event = false Prec: true register_event (Data Grid Net, 01 June 2004, 02 June 2004) Output: success_registration_notification Eff: registered_event = true Prec: true book_hotel (Marriot, Atlanta, 01 June 2004, 02 June 2004) Output: success_hotel_booking Eff: booked_hotel = true Prec: true book_hotel (Marriot, Atlanta, 01 June 2004, 02 June 2004) Output: failure_notification Eff: booked_hotel = false

  3. Maria’s eService Prec: true book_hotel (hotel_name, Venice, 10 February 2004, 25 February 2004) Output: failure_notification Eff: booked_hotel = false Prec: true book_hotel (hotel_name, Venice, 10 February 2004, 25 February 2004) Output: success_hotel_booking Eff: booked_hotel = true the parameters hotel_name, start_registr_date, end_registr_date are instantiated with valid values Prec: true book_plane (Madrid, 10 February 2004, 25 February 2004) Output: success_plane_booking Eff: booked_plane = true Prec: true book_plane (Madrid, 10 February 2004, 25 February 2004) Output: failure_notification Eff: booked_plane = false Prec: true register_event (Venice Carnival, start_registr_date, end_registr_date) Output: success_registration_notification Eff: registered_event = true Prec: true register_event (Venice Carnival, start_registr_date, end_registr_date) Output: failure_notification Eff: registered_event = false

More Related