1. Available eServices

2. Prec: true book_plane (depature_place, date_leave, arrive_place, date_back) Output: success_plane_booking Eff: booked_plane = true Prec: true book_limo_airport(depature_place, date_leave, arrive_place, date_back Output: success_limo_airport_booking Eff: limo_airport_booked book_airtravel

3. Prec: true book_limo_airport(depature_place, date_leave, arrive_place, date_back Output: success_limo_airport_booking Eff: limo_airport_booked Prec: true book_train(depature_place, date_leave, arrive_place, date_back Output: success_train_booking Eff: train_booked= true book_tracktravel

4. registration Prec: true register_event (event_name, start_registr_date, end_registr_date) Output: success_registration_notification Eff: registered_event = true

5. Prec: true book_hotel(name_hotel, place_hotel, date_arrive, date_back) Output: success_plane_booking Eff: booked_plane = true Prec: true book_hotel_shuttle(date, from/to_place) hotel_shuttle_booked) Output: success_ hotel_shuttle_booking Eff: hotel_shuttle_booked book_accomodation

6. Designer desired behavior specification

7. book_train book_plane book_hotel book_plane book_train book_limo_ airport register book_hotel _shuttle

8. Composition (the color of each action denotes the eService that executes it)

9. book_train book_plane book_hotel book_plane book_train book_limo_airport register book_hotel _shuttle book_hotel book_limo_airport book_hotel _shuttle