Prec: true
book_plane(depature_place, date_leave, arrive_place, date_back)
Output: success_plane_booking
Eff: plane_booked= true
book_plane
Prec: true
book_plane(depature_place, date_leave, arrive_place, date_back)
Output: failure_plane_booking
Eff: plane_booked= false
register_event
Prec: true
register_event (event_name, start_registr_date, end_registr_date)
Output: success_registration_notification
Eff: registered_event = true
Prec: true
register_event (event_name, start_registr_date, end_registr_date)
Output: failure_registration_notification
Eff: registered_event = false
Prec: true
book_hotel(name_hotel, place_hotel, date_arrive, date_back)
Output: success_plane_booking
Eff: booked_plane = true
book_hotel
Prec: true
book_hotel(name_hotel, place_hotel, date_arrive, date_back)
Output: failure_plane_booking
Eff: booked_plane = false
Prec: true
register_event (WWW04, 17 May 2004, 22 May 2004)
Output: success_registration_notification
Eff: registered_event = true
Prec: true
book_plane (Rome, date_leave, New York, date_back)
Output: success_plane_booking
Eff: booked_plane = true
Prec: true
book_hotel (hotel_name, New York, date_leave, date_back)
Output: success_hotel_booking
Eff: booked_hotel = true
Prec: true
register_event (WWW04, 17 May 2004, 22 May 2004)
Output: failure_notification
Eff: registered_event = false
Daniela’s eService
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: failure_notification
Eff: booked_hotel = false
the parameters hotel_name, date_leave, date_back are instantiated with valid values
Prec: true
register_event (Data Grid Net, 01 June 2004, 02 June 2004)
Output: success_registration_notification
Eff: registered_event = true
Prec: true
book_plane (Newark, 01 June 2004, Atlanta, 02 June 2004)
Output: success_plane_booking
Eff: booked_plane = true
Prec: true
book_hotel (Marriot, Atlanta, 01 June 2004, 02 June 2004)
Output: success_hotel_booking
Eff: booked_hotel = true
Prec: true
register_event (Data Grid Net, 01 June 2004, 02 June 2004)
Output: failure_notification
Eff: registered_event = false
Prec: true
book_plane (Newark, 01 June 2004, Atlanta, 02 June 2004)
Output: failure_notification
Eff: booked_plane = false
Prec: true
book_hotel (Marriot, Atlanta, 01 June 2004, 02 June 2004)
Output: failure_notification
Eff: booked_hotel = false
Rick’s eService
Prec: true
book_hotel (hotel_name, Venice, 10 February 2004, 25 February 2004)
Output: success_hotel_booking
Eff: booked_hotel = true
Prec: true
book_hotel (hotel_name, Venice, 10 February 2004, 25 February 2004)
Output: failure_notification
Eff: booked_hotel = 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
Maria’s eService
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
Top Related