Exercise 5.27 Consider the model in Figure 5.25 with reference to the process for handling claims described in Exercise 3.21. Is this model valid and complete? If not, what statements are invalid and what is missing

a garage is phoned to authorize the repairs and the payment is scheduled (in this order). Otherwise, the claim is rejected. In any case (whether the outcome is positive or negative), a letter is sent to the customer and the process is considered to be complete. Exercise 3.21 Model the following business process. Use pools and lanes where needed. When a claim is received, a claims officer first checks if the claimant is insured. If not, the claimant is informed that the claim must be rejected by sending an automatic notification via an SAP system. Otherwise, a senior claims officer evaluates the severity of the claim. Based on the outcome (simple or complex claims), the relevant forms are sent to the claimant, again using the SAP system. Once the forms are returned, they are checked for completeness by the claims officer. If the forms provide all relevant details, the claim is registered in the claims management system, and the process ends. Otherwise, the claimant is informed to update the forms via the SAP system. Upon reception of the updated forms, they are checked again by the claims officer to see if the details have been provided. Exercise 3.22 Create a BPMN model for the process described in Exercise 1.1 (page 5). Make sure to include business objects and annotations where appropriate. Exercise 3.23 10 5 Process Discovery Fig. 5.25 A process model for handling claims