Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of service-oriented computing. Transactions in this context may require long periods of time to complete and must be managed using non-blocking techniques. Compensations are activities executed to preserve data integrity and eliminate the effects of a process terminated by a user or that failed to complete due to another reason. This paper presents an approach to formal modeling of long-running business transactions. Our solution is based on the channel-based exogenous coordination language Reo, which is an expressive, compositional and semantically precise design language that admits formal reasoning. We illustrate how Reo can be used for termination and compensation handling in a number of commonly-used workflow patterns, including sequential and parallel compositions, discriminator choice and concurrent flows with link dependencies.
Additional Metadata
Keywords Reo coordination, Long Running Transactions, Business Process Modeling
THEME Software (theme 1)
Publisher ACM
Editor M. Cossentini , A. Molesini , A. Omicini , V. Seidita
Conference Annual ACM Symposium on Applied Computing
Note This TR is a long version of the paper Kokash, N., Arbab, F.: "Applying Reo to Service Coordination in Long-Running Business Transactions", Proceedings of the ACM Symposium on Applied Computing, Technical track on Coordination Models, Languages and Applications, ACM Press, 2009, pp. 318-319.
Kokash, N, & Arbab, F. (2009). Applying Reo to Service Coordination in Long-Running Business Transactions. In M Cossentini, A Molesini, A Omicini, & V Seidita (Eds.), Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC) (pp. 318–320). ACM.