petshop-scene-placeShopOrder.spp

petshop/order/petshop-scene-placeShopOrder.spp

Download original file · Petstore source contents

1domain petshop;23Scenario serial placeShopOrder(Buyer, Cart, StockLine[], ShopOrder, Goods, Goods[], Receipt, CartLine[]) {4    checkBuyerCredential;5    prepareProductSelection;6    parallel {7        findBuyer;8        listProducts;9    }10    identify(Buyer);11    locateBuyerCart;12    findCart;13    identify(Cart);14    checkCart;15    checkQuotationInput;16    quoteOrder;17    prepareOrderInventory;18    findStockLine;19    identify(StockLine[]);20    checkOrderReservation;21    captureCartLines;22    reserveOrder;23    transaction {24        deleteCartLine;25        insertOrderLine(ShopOrder.lines);26        insertShopOrder;27        reserveInventory bounds {28            StockLine[].available: [0, null];29            StockLine[].reserved: [0, null];30        };31        updateCart;3233        preparePurchaseReceipt;34        insertReceipt;35    }36}