Advances, Systems and Applications
transactionnew_order_fragment: | |
#simplified new-order “buys” one of item1, item2 | |
input: item1 and item2 | |
begin | |
F1: # reduce stock level of item1 | |
Read(tab = “Stock”, key = item1) → stock if (stock > 1): | |
Write(tab = “Stock”, key = item1) ← stock - 1 ... | |
F2: # reduce stock level of item2 | |
Read (tab = “Stock”, key = item2) → stock if (stock > 1): | |
Write (tab = “Stock”, key = item2) ← stock - 1 ... | |
end |