Groenewegen, L.P.J.

transaction subproces process transaction manager manager trap process component state scheduler subprocesse recovery manager partition model return procedure oldflag recovery newflag respect figure trapproces tbmlist program decision execution communication behaviour succesfull tbm hands subprocess b decision process control schlist system trapstructure concurrency control paradigm model database computer science queue nite automata protocol failure pause partition v 4 partition v 3 paradigm decision processes record modelled f sch re ected transition subprocess ci erent trap proces transaction bu order concurrency succesfull end wound-wait protocol succesfull transaction sequential components di erent moment science handling object-oriented program state space f tbm userlist tbm g boolean trapprocesse succesfully wound-wait ph ph 6 tbm g newflag result computer subprocess c partial-commit record