Prof. Dr. Egon Boerger

Abstract:

We define an abstract transaction controller and an operator which when applied to the (sequential) code of distributed, asynchronously cooperating, components turns their behavior with respect to some abstract termination criterion into a transactional behavior. We prove that all runs under the transaction controller are serialisable.

To make the definition as much as possible independent of any concrete programming language we work with pseudo-code (with an underlying precise semantics provided by Abstract State Machines).

(Joint work with Klaus-Dieter Schewe, Software Competence Center Hagenberg)