Z Notation for UBER App: Formal Strategies for Enterprise Security

2019
Software
Engineering
Methodologies
[Type the document subtitle]
[Type the author name]
[ T Y P E T H E C O M P A N Y A D D R E S S ]

Student Number: ________________
ABSTRACT
For increasing the security of the network framework formal strategies are being
used for the commercial enterprise uses of the UBER app which deals in food
delivery. It helps to protect the risks for the base facts. We had used app-based
enterprise protection. We had used Z notation for making use to explain the online
enterprise clients in the UBER case. Here the UBER is the app that is used to deliver
the food to the online clients. We had used Z notations for securing and calculating
the time estimate between receiving delivering the food. This time duration is
calculated by the taxi driver.
Z Notation Schema
1. For Modeling the UBER, Company has created the schema. This will only contain
clients. Following tasks are being performed in this notation:
Add Company
UBER
Known: L Name
ID: L ID
Known =dom ID
1 | P a g e

Student Number: ________________
Add Order
Add Order
Δ UBER
CustomerName? : NAME
CustomerNo? : ISBN
Date ? : DATE
ItemList? : List
Address ? : Address
Payment?:Amount
ISBN
CustomerName? ∈ Known
CustomerNo? ∈ Known
Cost? ∈ Known
Address? ∈ Address
ItemList? ∈ List
Payment?: ∈ Amount
Customer ′=Customer { CustomerName?→ CustomerNo?}∪
2 | P a g e

Student Number: ________________
In the above, we can see the operation of an order, where we can see the details of
the customer name, the customer no, date and item list and address and payment
details. In the item list, we can store the details of the order food list and in
payment, we can store the total amount.
Add a Driver
Driver
Known : L Name
DId: L ID
DAddess: L ADDESS
DEmail :L EMAIL
DPhone : L Phone
DDob : L DOB
DKnown =dom ID
Delivery Request
3 | P a g e