Z specification
-
Upload
falguni-roy -
Category
Engineering
-
view
178 -
download
1
description
Transcript of Z specification
![Page 1: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/1.jpg)
1
Z specification Falguni Roy
![Page 2: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/2.jpg)
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
![Page 3: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/3.jpg)
3
Selected Project Name: Android Application
Prepared by: Falguni Roy
Prepared for: Software Project Lab (ii)
![Page 4: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/4.jpg)
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.
![Page 5: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/5.jpg)
5
UML diagram
![Page 6: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/6.jpg)
6
FROM UML SPECIFICATION TO Z SPECIFICATION
![Page 7: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/7.jpg)
7
Hotel
Variable initialization
![Page 8: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/8.jpg)
8
Hotel (cont.)
insert values
![Page 9: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/9.jpg)
9
Hotel (cont.)
Display Hotel interface
![Page 10: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/10.jpg)
10
Market
Variable initialization
![Page 11: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/11.jpg)
11
Market (cont.)
insert values
![Page 12: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/12.jpg)
12
Market (cont.)
Display Market interface
![Page 13: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/13.jpg)
13
Restaurant
Variable initialization
![Page 14: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/14.jpg)
14
Restaurant (cont.)
insert values
![Page 15: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/15.jpg)
15
Restaurant (cont.)
Display Restaurant interface
![Page 16: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/16.jpg)
16
ATM_Booth
Variable initialization
![Page 17: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/17.jpg)
17
ATM_Booth (cont.)
insert values
![Page 18: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/18.jpg)
18
ATM_Booth (cont.)
Display ATM_Booth interface
![Page 19: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/19.jpg)
19
Entertainment_Area
Variable initialization
![Page 20: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/20.jpg)
20
Entertainment_Area (cont.)
insert values
![Page 21: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/21.jpg)
21
Entertainment_Area (cont.)
Display Entertainment_Area interface
![Page 22: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/22.jpg)
22
Transport
Variable initialization
![Page 23: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/23.jpg)
23
Transport (cont.)
insert values
![Page 24: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/24.jpg)
24
Transport (cont.)
Display Transport interface
![Page 25: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/25.jpg)
25
User
Initialize set and function
![Page 26: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/26.jpg)
26
User (cont.)
Define the application
![Page 27: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/27.jpg)
27
User (cont.)
Initialize the variables
![Page 28: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/28.jpg)
28
User (cont.)
View Details Info.
![Page 29: Z specification](https://reader033.fdocuments.in/reader033/viewer/2022061212/54951cd0b47959cd018b463b/html5/thumbnails/29.jpg)
29