Prec:%20true

1
Researchers eService
Prec true register_event (event_name,
start_registr_date, end_registr_date) Output
failure_notification Eff registered_event false
Prec true register_event (event_name,
start_registr_date, end_registr_date) Output
success_registration_notification Eff
registered_event true
Prec true book_plane (depature_place,
date_leave, arrive_place, date_back) Output
change_params_notification Eff booked_plane
false
Prec true book_plane (depature_place,
date_leave, arrive_place, date_back) Output
success_plane_booking Eff booked_plane true
Prec true book_hotel (name_hotel, place_hotel,
date_leave, date_back) Output success_hotel_booki
ng Eff booked_hotel true
Prec true book_hotel (name_hotel, place_hotel,
date_leave, date_back) Output change_params_notif
ication Eff booked_hotel false
2
Business Managers eService
Prec true book_plane (depature_place,
date_leave, arrive_place, date_back) Output
change_params_notification Eff booked_plane
false
Prec true book_plane (depature_place,
date_leave, arrive_place, date_back) Output
success_plane_booking Eff booked_plane true
Prec true register_event (event_name,
start_registr_date, end_registr_date) Output
failure_notification Eff registered_event false
Prec true register_event (event_name,
start_registr_date, end_registr_date) Output
success_registration_notification Eff
registered_event true
Prec true book_hotel (name_hotel, place_hotel,
date_leave, date_back) Output success_hotel_booki
ng Eff booked_hotel true
Prec true book_hotel (name_hotel, place_hotel,
date_leave, date_back) Output change_params_notif
ication Eff booked_hotel false
3
Tourists eService
Prec true book_hotel (name_hotel, place_hotel,
date_leave, date_back) Output success_hotel_booki
ng Eff booked_hotel true
Prec true book_hotel (name_hotel, place_hotel,
date_leave, date_back) Output change_params_notif
ication Eff booked_hotel false
Prec true book_plane (depature_place,
date_leave, arrive_place, date_back) Output
change_params_notification Eff booked_plane
false
Prec true book_plane (depature_place,
date_leave, arrive_place, date_back) Output
success_plane_booking Eff booked_plane true
Prec true register_event (event_name,
start_registr_date, end_registr_date) Output
failure_notification Eff registered_event false
Prec true register_event (event_name,
start_registr_date, end_registr_date) Output
success_registration_notification Eff
registered_event true