1. Available eServices

2. book_airtravel Prec: true Prec: true
book_limo(depature_address, date_leave, arrive_address, date_back
Output: success_limo_booking
Eff: limo_booked = true
Prec: true
book_plane (depature_airport, date_leave, arrive_airport, date_back)
Output: success_plane_booking
Eff: booked_plane = true

3. book_tracktravel Prec: true
book_train(depature_station, date_leave, arrive_station, date_back)
Output: success_train_booking
Eff: train_booked= true
Prec: true
book_limo (depature_address, date_leave, arrive_address, date_back
Output: success_limo_booking
Eff: limo_booked=true

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

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

6. Designer desired behavior specification

7. book_train
book_plane
book_hotel
book_hotel
book_hotel_shuttle
book_limo
register
book_plane
book_train

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

9. book_limo
book_hotel
book_train
book_limo
book_plane
book_hotel
book_hotel_shuttle
book_hotel
book_limo
register
book_plane
book_hotel_shuttle
book_limo
book_train