Information Technology Reference
In-Depth Information
2 Case Study and Notations
In this section we present our case study and give a brief background of the B
notation used in this paper.
2.1 Case Study
Throughout this paper we will use a travel booking case study as a running
example of the different aspects of our framework.
Fig. 2.
Travel b ooking system
In this case study (Figure 2), the client (
Client
)submitsarequest(
Request
)
for a hotel reservation to the travel agency (
Agency
). On the request arrival,
Agency
performs some research to find a hotel that supplies the specifications
requested by
Client
(for example, price or hotel location). Having found a hotel,
Agency
sends a request (
Book
) to the hotel (
Hotel
) with the specification of
dates and room.
Hotel
confirms the reservation sending a message (
Confirm
)
to
Client
.
Client
can cancel the reservation before the reservation date free
of charge. To cancel the reservation,
Client
shall send a message (
Cancel
)to
Hotel
informing that s/he no longer desires the room. If
Client
did not cancel
the reservation within the time specified,
Agency
makes a debit in the client's
account sending a message (
Debit
)to
Bank
. Finally,
Bank
sends a message
(
Justify
)to
Client
with the justification for the payment made with his/her
account.
From the
Client
's point of view a number of things could go wrong. We
consider here two claims:
Example 1.
(claim
N oRoom
) Let us consider the case that
Client
submits a
request and receives a justification from
Bank
, but when s/he arrives at the
hotel there is no information about the reservation in
Hotel
's registry.
Client
complains to
Agency
that s/he received a message from
Bank
and still there is
no room available.
Search WWH ::
Custom Search