C Secure https://users.encs.concordia.ca/ s331 331-A3-W18-Zed.pdf a? : Apps y Home Home Home Welcome to Facebo Welcome To Coptic pro ngramming skills G Google gym YouTube Concordia University Tasbenaorg : Coptic D Engineering Writing Microsoft Word-soen331-??-w18-Zed.doc 3/3 2. CancelOrder Operation. cancelling an order completely removes an existing order (determined by a valid order identifier input id?) from the system: CancelOrder leaves the stock unchanged but updates the orders and their status appropriately An input id? is required to specify which order is to be cancelled. This is the CancelOrder operation's precondition that must be satisfied for an order to be successfully invoiced: - the status of the order to be cancelled is pending Postconditions for CancelOrder operation are: - The stock has not changed - The cancelled order is not in the set of orders (Hint: use operator) The status of orders does not contain order id? (Hint: use operator ) 3. For error case CancelOrderError where the order state is not pending, assume the state is not to change. Return an error eport message rep! "order not pending 4. Specify total operation CancelOrderOp System Your solution should include: Z types and schemas listed in Part 1 of this assignment: Stock, Order Orderinvoices, State, Report, OrderState Your Z schemas New Order, CancelOrder, CancelOrderError Submit (zipped) your solution (can be scanned) -zed-as a pdf file electronically (EAS) as "Theory Assignment 3", one submission per team. List the names and the IDs of the team members on the first page of your submission. 30126002_159464..Jpg data-files.zip assignment3.zip Show all | O Type here to search R ENG 1245 AM US 2018-04-07 4 C Secure https://users.encs.concordia.ca/ s331 331-A3-W18-Zed.pdf a? : Apps y Home Home Home Welcome to Facebo Welcome To Coptic pro ngramming skills G Google gym YouTube Concordia University Tasbenaorg : Coptic D Engineering Writing Microsoft Word-soen331-??-w18-Zed.doc 3/3 2. CancelOrder Operation. cancelling an order completely removes an existing order (determined by a valid order identifier input id?) from the system: CancelOrder leaves the stock unchanged but updates the orders and their status appropriately An input id? is required to specify which order is to be cancelled. This is the CancelOrder operation's precondition that must be satisfied for an order to be successfully invoiced: - the status of the order to be cancelled is pending Postconditions for CancelOrder operation are: - The stock has not changed - The cancelled order is not in the set of orders (Hint: use operator) The status of orders does not contain order id? (Hint: use operator ) 3. For error case CancelOrderError where the order state is not pending, assume the state is not to change. Return an error eport message rep! "order not pending 4. Specify total operation CancelOrderOp System Your solution should include: Z types and schemas listed in Part 1 of this assignment: Stock, Order Orderinvoices, State, Report, OrderState Your Z schemas New Order, CancelOrder, CancelOrderError Submit (zipped) your solution (can be scanned) -zed-as a pdf file electronically (EAS) as "Theory Assignment 3", one submission per team. List the names and the IDs of the team members on the first page of your submission. 30126002_159464..Jpg data-files.zip assignment3.zip Show all | O Type here to search R ENG 1245 AM US 2018-04-07 4