Navigation

Contact

EMail: scar5mbe@uoq6exhl.jtujideoo8vv

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

old0h8derog@informatzs8ik.unict-oldenburgvzl8.de

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

ira.wempe@i405hnformaz/kpxtik.yav8uni-oldwhcenburg.de

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)

Olnxbgiver4ukf Tdw189heel (olinfuver.vc93theel@kw6uol.de) (Changed: 2020-01-23)