7SENG007W: FSP Process Analysis and Design for Boat Booking System

This assignment presents an analysis and design of an FSP (Finite State Processes) process for a boat booking system, addressing concepts of concurrency and parallelism. The solution includes an FSP process attributes table describing the system's characteristics such as states and transitions. The FSP code is provided, along with descriptions of each action within the process, specifying whether they are synchronous or asynchronous. The assignment further incorporates Finite State Machine (FSM) and Labelled Transition System (LTS) diagrams to visually represent the process flow. Detailed descriptions of LTS states are included, identifying states related to critical sections and mutual exclusion. Trace trees and a structure diagram are also provided to illustrate the system's behavior and organization. This comprehensive approach allows for a clear understanding of the process's design and implementation within a concurrent environment.

7SENG007W Concurrency & Parallelism
FSP Process Analysis & Design Form
Name
Student ID
Date
1. FSP Process Attributes
Attribute Value
Name
Boat Booking System
Description
Booking the seat for boat and it contains the cancel option, transaction
option. If you are complete the booking process then you will logout the
page.
BOAT=(login->available seats->transaction->logout)
Alphabet Login
Available seats
Transaction
logout
Number of States 4
Number of Transitions
3
Deadlocks (yes/no) No
Deadlock Trace(s) No
7SENG007W: FSP Process Design Form 1 [15/2/2017]

2. FSP Process Code
FSP Process:
A = (a -> x -> A).
B = (b -> x -> B).
||SYS = (A || B).
BOAT(I=1) = (boat[I].login -> boat[I].book ->
boat[I].transaction -> book[I].logout -> BOAT).
BOOK(N=2) = (Boat[x:1..N].Login -> Boat[x].logout -> BOOK).
||BOAT = (BOAT(1) || BOAT(2)).
BOAT=(login->available seats->transaction->logout)
3. Actions Description
A description of what each of the FSP process' actions represents, i.e. is modelling. In addition,
indicate if the action is intended to be synchronised (shared) with another process or asynchronous
(not shared). (Add rows as necessary.)
Actions Represents
Synchronous or
Asynchronous
Login Page Login the page using username and password ASynchronous
Boat ticket
Booking
Booking the available boat seat for adult, child etc. Synchronous
transaction The price details are display on the page and transaction
the money.
Asynchronous
price The price details based on the place distance. Synchronous
International
boat booking
International boat booking for booking boat seat to
international place.
Asynchronous
Domestic boat
booking
Domestic boat booking for nearby place. Asynchronous
Cancel The cancel option used to cancel the seat. synchronous
7SENG007W: FSP Process Design Form 2 [15/2/2017]

Seats It display the available seats. Synchronous
Logout Logout the page. Synchronous
7SENG007W: FSP Process Design Form 3 [15/2/2017]

4. FSM/LTS Diagrams of FSP Process
Note that if there are too many states, more than 64, then the LTSA tool will not be able to draw the
diagram. In this case draw small diagrams of the most important parts of the complete diagram.
1  Login page
2  Seat booking
3 Transaction
4 Logout
7SENG007W: FSP Process Design Form 4 [15/2/2017]

5. LTS States
A description of what each of the FSP process' states represents, i.e. is modelling. If there are a
large number of states then you can group similar states together &/or only include the most
important ones. For example, identify any states related to mutual exclusion (ME) & the associated
critical section (CS), e.g. waiting to enter the CS state, in the CS state(s), left the CS state. (Add
rows as necessary.)
States Represents
Initial state To start the process.
Enter CS state Critical section for shared resource from one sate to another state.
Transaction It define the transaction state from initial stage to target state.
Process CS The boat seat booking and it store the database.
Cancel To store the cancel process in the database.
Acquire lock It acquire a lock prior to executing critical section.
Process CS The lock are implemented on process state.
Left the CS The critical section left from the process.
Release lock The lock release after left the critical section.
Target state The process completed on target state.
Exit CS Finally the critical section exit from the lock.
7SENG007W: FSP Process Design Form 5 [15/2/2017]

6. Trace Tree for FSP Process
The trace tree for the process. Use the conventions given in the lecture notes.
7SENG007W: FSP Process Design Form 6 [15/2/2017]

7. Structure Diagram for the FSP Process
The structure diagram for the process. Use the conventions given in the lecture notes.
7SENG007W: FSP Process Design Form 7 [15/2/2017]