Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
this is the document for explaining how z language works
Typology: Schemes and Mind Maps
1 / 6
This page cannot be seen from the preview
Don't miss anything!
Idrees Akhtar- 15 Shaheer Zia Qazi- 47 Muhammad Hashir- 39
Z is a model oriented formal specification language based on Zermelo-Fränkel axiomatic set theory and first order predicate logic. It is a mathematical specification language, with the help of which natural language requirements can be converted into mathematical form.
Online food ordering system is widely used system now a days in the whole world, by using online food app or web based system a user can order online food of his choice without taking a single step outside home. With the help of online food ordering system a user or customer can order multiple food items from different shops at multiple locations. This system allow the user to get the food delivered in his home by just providing a shipment address. Users are allowed to pay for their food in cash or by using debt card through online transaction systems or apps. This food ordering system is very easy to use and convenient for all type of users. Schemas for food ordering app/system:
Search item In search item schema, user can search food of their choice by searching food name and price in case different options available for same food such as cheese pizza or chicken pizza etc. After that user will get an option about availability of food. If searched item will available user will get it else user can search other item. Select Item In select item schema, user can select food of their choice by selecting food category from available categories such as burger, pizza etc. And price in case different options available in one category such as chicken burger, simple burger, egg burger etc. SelectFood i=Quantity i=N select_food: N à P foodname Food_Price: N à P price Ǝi: 1….n Select_Food(i) =foodname
Cart option In cart option schema, user can select, reserve and purchase item. In cart user can select and add multiple food items and at last order item by providing payment which is calculated by multiplying each food item with its selected quantity and at last sum-up price. Food Delivery In food delivery schema, user will provide delivery address and order will be delivered to the provided address. Delivery DeliveryAddress?: String Deliver!: P foodname i=Quantity Deliver(i)= foodname
