online shopping system
Project网课代写 The objective of this project is to test your understandings and skills to use the informal and formal specification…
1. Objective:
The objective of this project is to test your understandings and skills to use the informal and formal specification approaches and models to represent the requirements for a software system. The project still uses the example given in Assignment 1. Please note, this project is an individual work.
2. Problem Description: Project网课代写
Nowadays, the online shopping becomes very popular. In this project, you are asked to model the procedure of an online shopping system for Amazon. The general process is described below. You can make reasonable assumptions if it is not specified.
-
Loginto the online shopping system:
A customer can login his/her online shopping account via Amazon’s home page. The customer shall input the username and password and press “login” button. Then the login information is sent back to Amazon’s server for authorization. If the valid username and password were input, the customer’s account information will be displayed. Then the customer can start to purchase online. Otherwise, the customer will be asked to re-input the username and password. If the customer inputs wrong username or passwords over three time, the account will be locked for 30 minutes.
-
Viewhistorical shopping records:
After the customer successfully login into the online shopping system, the customer can view all of his/her historical online shopping records. The customer can also search a particular historical record based on different criteria such as keywords, category, date, price range and etc. Once the customer finds the record, by clicking the record’s link, the browser will open a new page for the customer to purchase the item again. If the item is not available anymore, a popup window will alert the item is sold out.
-
Viewand search items: Project网课代写
After the customer successfully login into the online shopping system, the customer can view or search items based on different criteria such as keywords, category, date, price range and etc. If the customer wants to know details about a particular item, by clicking the item’s link, the browser will open a new page with the item details.
-
Updatethe cart:
The item information page has three buttons underneath. The “+” and “-” button allows the customer to modify the quantity, and the “Add” button will put the selected item/s into the cart. Once the customer puts the item/s into the cart. The system automatically calculates the total price for the added item/s based on the item’s unit price and quantity. The customer can view and modify each item in the cart, such as increasing/decreasing the quantity, and deleting the item. If the customer finishes the shopping and wish to pay, the customer can click the “Check Out” button, and it will lead the customer to the payment procedure.
-
Makethe payment: Project网课代写
The payment procedure contains several steps. On the payment step 1, the system will first automatically show all items in the cart and calculate the total price. The customer can modify items in the cart (same as updating the cart). Once the customer confirms the items, he/she can click the “Next” button to go Page 2. Otherwise, the customer can click the “Cancel” button to quite the payment (jump to the home page).
On payment step 2, the customer needs to fill the delivery address and personal contact information for this purchase. The customer can click the “Pre” button to go back step 1, or “Cancel” button to jump to the home page, or the “Next” button to go step 3.
On payment step 3, the customer needs to fill the credit card information to complete the purchase. The customer can click the “Pre” button to go back step 2, or “Cancel” button to jump to the home page, or the “Next” button to go step 4.
On payment step 4, the system will show a summary of the purchase, i.e., items and prices, the total prices, the delivery address and contact information, and the credit card information for the customer’s final checking. The customer can click the “Modify” button to go back step 1, or the “Cancel” button to jump to the home page, or the “Confirm” button to complete the purchase.
-
Logoutthe online shopping system:
The customer can logout his/her online shopping account anytime by clicking the “logout” button. If the customer does not have any action over 30 mins, the customer’s account will be logout automatically. Unpaid items in the cart will be kept after the customer logouts which allows the customer to continue the shopping after he/she login next time. After the customer logout, the browser will jump to the home page.
-
Systemrequirements: Project网课代写
Amazon’s online shopping system shall be available for 24 hours per day and 7 days per week. The system shall support up to 1,000,000 people to use concurrently, and the system delay shall no more than 10 seconds. If a customer disconnects from the system accidently, the system will automatically logout the customer and keep all unpaid items in the cart. If the online shopping system is down, a backup system shall be activated and take over the original system automatically. This procedure shall be completed within 60 minutes.
3. Tasks: Project网课代写
This project contains three tasks.
- Design and draw a Finite State Machine (FSM) for the Make the Payment operation to clearly show different states of the user and the events changing the states.You shall also complete the state transition table associated to your FSM. The state name and event name must be meaningful. (10 marks)
- Designand create a Colored Petri Net to show the dynamic behaviours (all possible operations shall be considered) of the online shopping system. You shall define the Colored Petri Net with the mathematical representation and graphic representation, i.e., clearly specify the content of C = (P, T, I, O), the initial marking m, and defines all color sets for all The CPN shall clearly show the procedure how the online shopping system is used by customers. The CPN tool must be used to implement your design. (10 marks)
- Complete Z Schemas for the system login operation, and the cart updating operation.The total operations shall cover all successful and unsuccessful Your schemas shall also include the necessary definitions of types, global variables, the system state schema, the system’s initial state schema and the schemas for the successful and unsuccessful operations. (10 marks)
- For all Z schemas, you must draw them using the z-editor (https://z-editor.github.io/), and create a pdf file (named schemas.pdf) to include all your schemas.
更多代写：Python程序代写 GRE代考 教育学代写 金融学作业代写 统计学paper代写 澳洲留学申请
