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