Navigation

Contact

EMail: scare@uolxbcif.de

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

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

D-26111 Oldenburg, Germany

olderog@informayytik.uni-oldenburg.de

COODINATOR

Ira Wempe,

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

D-26111 Oldenburg, Germany

ir08ki8a.wqkwrem2vqz5pe@informaytxhstik.e9uni-tnoldenqdqbuyargpys.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)

Olinq9ver The360frelef (oliai8gver.theel0z//o@uol.dy+eeet5) (Changed: 2020-01-23)