A model for transactional workflows
conference contribution
posted on 2024-07-11, 14:56 authored by Dean Kuo, Michael Lawley, Chengfei LiuChengfei Liu, Maria OrlowskaIn 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.
History
Available versions
PDF (Accepted manuscript)Journal title
7th Australasian Database Conference (ADC 96), Melbourne, Australia, 29-30 January 1996Conference name
7th Australasian Database Conference ADC 96, Melbourne, Australia, 29-30 January 1996Publisher
University of Melbourne and RMIT UniversityCopyright statement
Copyright © 1996. This work is reproduced in good faith. Every reasonable effort has been made to trace the copyright owner. For more information please contact researchbank@swin.edu.auLanguage
engUsage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC