Name: Martin Červený UČO: 487560 1.seminar group (CZ) Brief summary of the process Firstly customer place an order to the e-shop. After that, order is validated parallel to verifying card transaction. If the card transaction is not verified, error is catched and the order is canceled. After that, stock availability is checked. Order can be canceled by customer when is in processing, after that is cancellation aknowledged and the goods are returned to the stock. If the order processing take more than 48 hours, discount coupon is added to the order. When process order is done, invoice is generated and packed with the goods and order is dispatched to the customer. If customer wants to cancel order while dispatching, cancel is forbidden and customer is notified about this action. Goods order Customer E-shop Orderingsystem Ordering system Goods order received Is order valid? Validate order Generate invoice Archive invoice Printed invoice Customer notified Printed on a basic paper Order canceled Verify card transaction Transaction not verified Stockdepartment Stock department Check stock availability Is available on stock? Process order Customer notified Acknowledge cancellation Order cancel received Return to the stock Order canceled Add discount coupon Ordered goods 48 hours Deliverydepartment Delivery department Pack order Dispatch order Order sent Order cancel received Cancel forbidden Bank no yes yes no Goods order Verificationrequest Verificationresponse Here is missing termination -1 I think this should be better handled, money returned etc... -1 This should be probably non-terminating boundary event -1 Result: 9