Obligatory Exercise INF-UIT Autumn 2002 (version 021030)
Service: Rent-a-Car
The Rent-a-Car company Carent has an electronic service for car rental. The service presents available cars on an
electronic message board. The customers may request cars from this message board based on certain attributes such as
availability, rental period, price, type of car. Initiating a car rental transaction does not only involve the car rental
company Carent but also payment of a deposit to Carent as well as a deposit to an insurance company. Normal
termination of a car rental transaction consists of final return of car and final payment. Abnormal termination (abortion)
of car rental transaction may occur initiated by either Carent or the customer. If the customer finds the car
unsatisfactory at time of pickup, she may terminate the transaction and the deposits will be returned. Carent may
terminate the transaction because of lack of trust in customer from insufficient credit standing or based on contract
violation during the rental period.
The electronic message board is accessed through either mobile or fixed Internet. It is also possible to apply SMS
messaging to address the electronic message board.
Service: Get-a-room
The tourist board of the big city Megapolis has organized an electronic board where potential visitors to the city post
their needs wrt. accommodation. The visitor will specify the kind of room, number of beds, time period, price range.
The accommodation providers will react to the postings in the form of concrete offers. The visitor will then choose one
of the offers and the transaction will be initiated by paying a deposit through a trusted third party – the tourist board
bank. Normal termination of the transaction is when the visitor checks out and makes his final payment. Abnormal
termination may be initiated by the customer e.g. because the room is not satisfactory or he finds it necessary to shorten
his stay. Abnormal termination is initiated by the accommodation provider by contract violation such as breaking the
house rules etc.
The electronic board uses the same technology as for the Rent-a-Car service above.
Exercise Drop 1.
1. Specify Rent-a-Car
2. Specify Get-a-Room
3. Specify an abstract service that can be refined to both Rent-a-Car and Get-a-Room
4. Explain why and how the abstract service is refined to the two concrete ones
The specification should be written in UML 2.0 (with the notation shown in the lectures) with Sequence Diagrams and
Use Case diagrams. Any tool that fits can be used.
Exercise Drop 2.
1.
2.
3.
4.
5.
6.
7.
Receive the specification from Drop 1 from another group
Give a review report of the received specification. (One week)
Discussion of the review reports
Choose one of the services and design it using UML 2.0. The group may use any tool available to describe the
design.
Perform a model-based security-risk identification of the service and document the results in the form of a SWOT
diagram, an asset diagram, risk evaluation criteria, a fault tree and a HazOp table.
Implement the designed service using JavaFrame. The group must themselves make a GUI simulation environment
(again using the JavaFrame modeling development kit) and the appropriate simulation of properties such as
communication with mobile terminal.
Provide an argument that the implementation fulfills the specification.
Organization
The students will be divided into a number of groups from 3 to 5 persons.
The groups will do the same exercise.
In Drop 2 there will be implementation based on the specification in Drop 1.
The project groups will take as basis for their implementation a specification of Drop 1 from another group!
Deadline
Deadline for Drop 1 is 021018.
Deadline for Drop 2 is 021129
All members of the group shall have detailed knowledge of his/her group's delivery.