1. Z specification
Falguni Roy
1

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
2

3. Selected Project Name: Android Application
Prepared by: Falguni Roy
Prepared for: Software Project Lab (ii)
3

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.
4

5. UML diagram
5

6. FROM UML SPECIFICATION TO Z SPECIFICATION
6

7. Hotel
 Variable initialization
7

8. Hotel (cont.)
 insert values
8

9. Hotel (cont.)
 Display Hotel interface
9

10. Market
 Variable initialization
10

11. Market (cont.)
 insert values
11

12. Market (cont.)
 Display Market interface
12

13. Restaurant
 Variable initialization
13

14. Restaurant (cont.)
 insert values
14

15. Restaurant (cont.)
 Display Restaurant interface
15

16. ATM_Booth
 Variable initialization
16

17. ATM_Booth (cont.)
 insert values
17

18. ATM_Booth (cont.)
 Display ATM_Booth interface
18

19. Entertainment_Area
 Variable initialization
19

20. Entertainment_Area (cont.)
 insert values
20

21. Entertainment_Area (cont.)
 Display Entertainment_Area interface
21

22. Transport
 Variable initialization
22

23. Transport (cont.)
 insert values
23

24. Transport (cont.)
 Display Transport interface
24

25. User
 Initialize set and function
25

26. User (cont.)
 Define the application
26

27. User (cont.)
 Initialize the variables
27

28. User (cont.)
 View Details Info.
28

29. 29