z specification
DESCRIPTION
TRANSCRIPT
1
Z specification Falguni Roy
2
What is Z ???
is a formal specification language
used for describing and modelling computing systems
based on the standard mathematical notation used in axiomatic set
theory, lambda calculus and first-order predicate logic
3
Selected Project Name: Android Application
Prepared by: Falguni Roy
Prepared for: Software Project Lab (ii)
4
Requirements
Showing the information about the tourist spots in the mobile screen.
Showing the path between the user staying place and the required
places.
Showing the location of the hotels, markets and restaurants and their
services and the service related cost.
Providing information about all transport agencies, their time
schedule and cost.
Showing the ATM booths in specific areas.
5
UML diagram
6
FROM UML SPECIFICATION TO Z SPECIFICATION
7
Hotel
Variable initialization
8
Hotel (cont.)
insert values
9
Hotel (cont.)
Display Hotel interface
10
Market
Variable initialization
11
Market (cont.)
insert values
12
Market (cont.)
Display Market interface
13
Restaurant
Variable initialization
14
Restaurant (cont.)
insert values
15
Restaurant (cont.)
Display Restaurant interface
16
ATM_Booth
Variable initialization
17
ATM_Booth (cont.)
insert values
18
ATM_Booth (cont.)
Display ATM_Booth interface
19
Entertainment_Area
Variable initialization
20
Entertainment_Area (cont.)
insert values
21
Entertainment_Area (cont.)
Display Entertainment_Area interface
22
Transport
Variable initialization
23
Transport (cont.)
insert values
24
Transport (cont.)
Display Transport interface
25
User
Initialize set and function
26
User (cont.)
Define the application
27
User (cont.)
Initialize the variables
28
User (cont.)
View Details Info.
29