– Petri Net
CSE 464: Software Quality Assurance and Testing Lecture Supplement Activity (04/10/2024) Online 15 Pts 1. Draw a Petri-Net model representing the following workflow application. Clearly label transactions and places. Submission: Petri net model in a PDF document. Receive activity The Receive activity starts the travel booking process. The message sent to the process contains the required information, such as the destination and the day of departure, to perform the travel reservations. Data Maps Data mapping in the travel booking process is done with Assign activities. The input variable for each invoke activity must be initialized and set before the invoke. Credit card check The CheckCreditCard activity checks whether the given credit card information is complete and valid. The activity is implemented in an external Java class, and its methods are invoked by the travel booking process (the same applies to the CheckFlightReservation, CheckHotelReservation, and CheckCarReservation activities). Fault handling If the customer’s credit card number is invalid, the Java implementation class of the CheckCreditCard activity throws an exception. A fault handler catches this exception in the BPEL process and creates a fault message with the error information. This fault message is returned with the reply message, and the travel booking process is ended. Flight reservation The CheckFlightReservation activity will book the flight. Hotel reservation The CheckHotelReservation activity will book the hotel. While loop The While loop repeats the CheckCarReservation activity until a car reservation is finished successfully. Reply activity Finally, it is checked whether the flight, hotel, and car have been booked successfully, and a reply message is created accordingly. If the travel booking was successful, the reply message contains a confirmation number. Non-interruptible process The travel booking process runs in one transaction. All invoke activities call synchronous methods.
Collepals.com Plagiarism Free Papers
Are you looking for custom essay writing service or even dissertation writing services? Just request for our write my paper service, and we'll match you with the best essay writer in your subject! With an exceptional team of professional academic experts in a wide range of subjects, we can guarantee you an unrivaled quality of custom-written papers.
Get ZERO PLAGIARISM, HUMAN WRITTEN ESSAYS
Why Hire Collepals.com writers to do your paper?
Quality- We are experienced and have access to ample research materials.
We write plagiarism Free Content
Confidential- We never share or sell your personal information to third parties.
Support-Chat with us today! We are always waiting to answer all your questions.
