Formal Modeling of BPEL Workflows Including Fault and Compensation Handling

TitleFormal Modeling of BPEL Workflows Including Fault and Compensation Handling
Publication TypeConference Paper
Year of Publication2007
AuthorsKovács, Máté, Gönczy, L., and Varró, D.
Conference NameEFTS '07: Proceedings of the 2007 workshop on Engineering fault tolerant systems
PublisherACM
Conference LocationNew York, NY, USA
ISBN Number978-1-59593-725-4
AbstractElectronically executed business processes are frequently implemented using the Business Process Execution Language (BPEL). These workflows may be in control of crucial business processes of an organization, in the same time existing model checking approaches are still immature i.e. they either seem to loose to much information during the generation of the analysis model, or the state space explosion prevents from model checking. We present a formal modeling technique for BPEL workflows including fault and compensation handling providing exact semantics with a state space size that allows for model checking. Additionally, error propagation among variables is supported so the effect of a faulty activity on the entire process can be examined.
URLhttp://doi.acm.org/10.1145/1316550.1316551