read(y) - IBDS-OS Startseite

Example (1’)
Transactions
{Transfers Amount money from ACC1 to ACC2}
T1: Transfer(ACC1, ACC2, Amount)
{Part1: Take money from ACC1}
balance1 := Read(ACC1)
balance1 := balance1 - Amount
Write(ACC1, balance1) {debit ACC1}
{S {Sumup th the bbalance l of f bboth th ACC1 and d ACC2}
T2: SumUp(Acc1, ACC2, sum)
sum1 := Read(ACC1)
sum2 := Read(ACC2)
sum := sum1 + sum2
{Part2 of T1: Put money to ACC2}
balance2 := Read(ACC2)
balance2 := balance2 + Amount
Write(ACC2,balance1)
© 2009 Universität Karlsruhe, System Architecture Group 20