Contact

Director

Prof. Dr. Ernst-Rüdiger Olderog

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

Coordinator

Ira Wempe

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

Prof. Dr. Egon Boerger

A Transaction Operator for Distributed Pseudo-Code

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)

(Changed: 20 Jun 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page