A Model for Transactional Workflows

Dean Kuo
CRC for Distributed Systems Technology, Level 7, Gehrmann Laboratories, The University of Queensland, Qld 4072, Australia.
d.kuo@dstc.edu.au

Michael Lawley
CRC for Distributed Systems Technology, Level 7, Gehrmann Laboratories, The University of Queensland, Qld 4072, Australia.
m.lawley@dstc.edu.au

Chengfei Liu
CRC for Distributed Systems Technology, Level 7, Gehrmann Laboratories, The University of Queensland, Qld 4072, Australia.
c.liu@dstc.edu.au

Maria Orlowska
CRC for Distributed Systems Technology, Level 7, Gehrmann Laboratories, The University of Queensland, Qld 4072, Australia.
m.orlowska@dstc.edu.au

Abstract

In this paper we present a model for representing Transactional Workflows (TWFs) involving sequencing, parallel, alternative, conditionals, and iteration. It allows us to reason about the correctness of a TWF, and to generate and execute TWF schedules.

Conference Home Page